diff --git a/arch/x86/kvm/vmx.c b/arch/x86/kvm/vmx.c
index 96445f341519c5933e899d1aa21039501d1b0588..02efbe75f317d68b8f24a6bd7945eaaeffcbfe89 100644
--- a/arch/x86/kvm/vmx.c
+++ b/arch/x86/kvm/vmx.c
@@ -1036,6 +1036,7 @@ static void hardware_enable(void *garbage)
 static void hardware_disable(void *garbage)
 {
 	asm volatile (ASM_VMX_VMXOFF : : : "cc");
+	write_cr4(read_cr4() & ~X86_CR4_VMXE);
 }
 
 static __init int adjust_vmx_controls(u32 ctl_min, u32 ctl_opt,