vaddr_shift

ostd::specs::mm::page_table

Function vaddr_shift 

Source 
pub open spec fn vaddr_shift<const L: usize>(idx: int) -> usize
Expand description
recommends
0 < L,
idx < L,
{ pow2(vaddr_shift_bits::<L>(idx)) as usize }