X86_PROPERTY_MAX_PHY_ADDR
if (!kvm_cpu_has_p(X86_PROPERTY_MAX_PHY_ADDR)) {
*pa_bits = kvm_cpu_property(X86_PROPERTY_MAX_PHY_ADDR);
if (!this_cpu_has_p(X86_PROPERTY_MAX_PHY_ADDR))
maxphyaddr = this_cpu_property(X86_PROPERTY_MAX_PHY_ADDR);
vcpu_set_cpuid_property(vcpu, X86_PROPERTY_MAX_PHY_ADDR, MAXPHYADDR);