Skip to main content

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,
) -> usize
Expand description
{ (C::BASE_PAGE_SIZE().ilog2() + nr_pte_index_bits::<C>() * (level - 1)) as usize }