pub open spec fn top_level_index_width_spec<C: PageTableConfig>() -> usizeExpand description
{ (C::ADDRESS_WIDTH_spec() - pte_index_bit_offset_spec::<C>(C::NR_LEVELS())) as usize }pub open spec fn top_level_index_width_spec<C: PageTableConfig>() -> usize{ (C::ADDRESS_WIDTH_spec() - pte_index_bit_offset_spec::<C>(C::NR_LEVELS())) as usize }