pub const PTR_MASK: u64 = 0x0000_FFFF_FFFF_F000;
Address bits within a page-table entry (Sv48: PPN[2..0] + flags).