On Mon, Apr 15, 2019 at 03:21:04PM -0700, nadav.amit@xxxxxxxxx wrote: > From: Nadav Amit <nadav.amit@xxxxxxxxx> > > According to the SDM, IA32_VMX_VMCS_ENUM indicates to software the > highest index value used in the encoding of any field supported by the > processor: Bits 9:1 contain the highest index value used for any VMCS > encoding. > > Signed-off-by: Nadav Amit <nadav.amit@xxxxxxxxx> > --- Reviewed-by: Sean Christopherson <sean.j.christopherson@xxxxxxxxx>
