pub const PTE_ADDR_MASK: u64 = 0x000F_FFFF_FFFF_F000;
Mask to extract the physical address from a PTE (bits 51:12) This masks out the lower 12 flag bits AND the upper bits including NX (bit 63)