pub const CR3_PAGE_BASE_MASK: u64 = 0xffff_ffff_ffff_0000;
Mask for physical base address of paging structure.