Constant PHYS_ADDR_MASK 

const PHYS_ADDR_MASK: u64 = 0x000F_FFFF_FFFF_F000;

Physical address mask inside a page-table entry (bits [51:12]).