p4idx

rustubs::arch::x86_64::paging::pagetable

Function p4idx 

Source 
pub fn p4idx(addr: u64) -> u16