On 27.07.2017 15:54, Paolo Bonzini wrote: > Since the current implementation of VMCS12 does a memcpy in and out > of guest memory, we do not need current_vmcs12 and current_vmcs12_page > anymore. current_vmptr is enough to read and write the VMCS12. > > Signed-off-by: Paolo Bonzini <pbonzini@xxxxxxxxxx> This looks like the right thing to do! (and as mentioned, also properly marks the page as dirty) Reviewed-by: David Hildenbrand <david@xxxxxxxxxx> -- Thanks, David