cpuid_query_maxphyaddr
vcpu->arch.maxphyaddr = cpuid_query_maxphyaddr(vcpu);
int cpuid_query_maxphyaddr(struct kvm_vcpu *vcpu);