On 24/08/2017 14:27, Yu Zhang wrote: > /* Update physical-address width */ > vcpu->arch.maxphyaddr = cpuid_query_maxphyaddr(vcpu); > > +#ifdef CONFIG_X86_64 > + if (vcpu->arch.maxphyaddr > 48) > + kvm_mmu_reset_context(vcpu); > +#endif I think CONFIG_X86_64 is not necessary to have maxphyaddr>48? Paolo > kvm_pmu_refresh(vcpu); > return 0; > }