Re: [PATCH] KVM: nVMX: Fix CR4 after VMLAUNCH/VMRESUME failure

[Jim Mattson]

On Thu, Feb 8, 2018 at 7:29 AM, Jim Mattson <jmattson@xxxxxxxxxx> wrote:
> Similarly, the correct L1 CR4 value should be in vmcs01's CR4
> read shadow field.

Sorry; that's wrong. L1's CR4 value has to be reconstructed from the
vmcs01 guest CR4 field and CR4 shadow field using the cr4 guest/host
mask. But there is no way to get it from any field(s) in vmcs12.