x86::bits64::paging
pub const MAXPHYADDR: u64
MAXPHYADDR, which is at most 52; (use CPUID for finding system value).