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