On 19/12/2017 18:40, Jim Mattson wrote: > I'm not sure that's really the right way to go, since any guest that > has already read the IA32_VMX_BASIC MSR has a right to expect the VMCS > revision to remain unchanged. Hmm, not just that, "the VMCS revision identifier is never written by the processor" according to the SDM. Maybe the code that accesses the vmcs12 can be placed in a .h file and included more than once in vmx.c. Paolo
