nr_pte_index_bits

ostd::mm::page_table

Function nr_pte_index_bits 

Source 
pub exec fn nr_pte_index_bits<C: PagingConstsTrait>() -> res : usize
Expand description
ensures
res == nr_pte_index_bits_spec::<C>(),

The number of virtual address bits used to index a PTE in a page.