On 27/04/2017 10:29, David Hildenbrand wrote: >> arch/x86/kvm/vmx.c | 55 ++++++++---------------------------------------------- >> 1 file changed, 8 insertions(+), 47 deletions(-) > Nice! So we really only have to check vmxon / pointer / features for > vmxon and for the others only vmxon. Still not good, CR4.VMXE has to be checked because we always run the guest with CR4.VMXE set (see section 23.8 in the SDM). Paolo > Reviewed-by: David Hildenbrand <david@xxxxxxxxxx>