Function nr_pte_index_bits_spec Copy item path

pub open spec fn nr_pte_index_bits_spec<C: PagingConstsTrait>() -> usize

{ nr_subpage_per_huge::<C>().ilog2() as usize }