Constant x86_64::HIGH_MMIO_MAX_END

pub(crate) const HIGH_MMIO_MAX_END: u64 = _; // 70_368_744_177_663u64