Constant X64_PAGE_SHIFT

const X64_PAGE_SHIFT: u64 = 12;