X86_PROPERTY_PHYS_ADDR_REDUCTION
if (this_cpu_has_p(X86_PROPERTY_PHYS_ADDR_REDUCTION))
max_pfn >>= this_cpu_property(X86_PROPERTY_PHYS_ADDR_REDUCTION);