pte_index_bit_offset_spec

ostd::mm::page_table

Function pte_index_bit_offset_spec 

Source 
pub open spec fn pte_index_bit_offset_spec<C: PagingConstsTrait>(
    level: PagingLevel,
) -> int
Expand description
{
    (C::BASE_PAGE_SIZE().ilog2() as int)
        + (nr_pte_index_bits::<C>() as int) * (level as int - 1)
}