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