Index: /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 45464)
+++ /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 45465)
@@ -1664,5 +1664,6 @@
         zap = pVM->hm.s.vmx.msr.vmx_proc_ctls2.n.allowed1;              /* Bits cleared here must be cleared in the VMCS. */
 
-        val |= VMX_VMCS_CTRL_PROC_EXEC2_WBINVD_EXIT;                    /* WBINVD causes a VM-exit. */
+        if (pVM->hm.s.vmx.msr.vmx_proc_ctls2.n.allowed1 & VMX_VMCS_CTRL_PROC_EXEC2_WBINVD_EXIT)
+            val |= VMX_VMCS_CTRL_PROC_EXEC2_WBINVD_EXIT;                /* WBINVD causes a VM-exit. */
 
         if (pVM->hm.s.fNestedPaging)