sidecar::arch::x86_64::addr_space

Function pte_data

Source 
fn pte_data(addr: u64) -> Pte