On Mon, Nov 16, 2020 at 10:11 AM Paolo Bonzini <pbonz...@redhat.com> wrote: > > Similarly to what vmx/vmx.c does, use vcpu->arch.cr4 to check if CR4 > bits PGE, PKE and OSXSAVE have changed. When switching between VMCB01 > and VMCB02, CPUID has to be adjusted every time if CR4.PKE or CR4.OSXSAVE > change; without this patch, instead, CR4 would be checked against the > previous value for L2 on vmentry, and against the previous value for > L1 on vmexit, and CPUID would not be updated. > > Signed-off-by: Paolo Bonzini <pbonz...@redhat.com> Reviewed-by: Jim Mattson <jmatt...@google.com>
