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;
>  }

Reply via email to