Constant SV39_PTE_PPN_MASK 

const SV39_PTE_PPN_MASK: u64 = 0x0000_ffff_ffff_fc00;