Index: /trunk/src/VBox/HostDrivers/Support/SUPDrv.c
===================================================================
--- /trunk/src/VBox/HostDrivers/Support/SUPDrv.c	(revision 48267)
+++ /trunk/src/VBox/HostDrivers/Support/SUPDrv.c	(revision 48268)
@@ -3413,4 +3413,5 @@
                 bool fSmxVmxAllowed;
                 bool fVmxAllowed;
+                bool fAllowed;
 
                 /*
@@ -3424,6 +3425,6 @@
                 fSmxVmxAllowed = fMsrLocked && !!(u64FeatMsr & MSR_IA32_FEATURE_CONTROL_SMX_VMXON);
                 fVmxAllowed    = fMsrLocked && !!(u64FeatMsr & MSR_IA32_FEATURE_CONTROL_VMXON);
-                if (   (fInSmxMode && fSmxVmxAllowed)
-                    || fVmxAllowed)
+                fAllowed       = fInSmxMode ? fSmxVmxAllowed : fVmxAllowed;
+                if (fAllowed)
                 {
                     VMX_CAPABILITY vtCaps;
Index: /trunk/src/VBox/VMM/VMMR0/HMR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMR0.cpp	(revision 48267)
+++ /trunk/src/VBox/VMM/VMMR0/HMR0.cpp	(revision 48268)
@@ -845,13 +845,10 @@
         /* Verify. */
         fFC = ASMRdMsr(MSR_IA32_FEATURE_CONTROL);
-        fMsrLocked     = !!(fFC & MSR_IA32_FEATURE_CONTROL_LOCK);
-        fSmxVmxAllowed = fMsrLocked && !!(fFC & MSR_IA32_FEATURE_CONTROL_SMX_VMXON);
-        fVmxAllowed    = fMsrLocked && !!(fFC & MSR_IA32_FEATURE_CONTROL_VMXON);
-
-        if (   (fInSmxMode && fSmxVmxAllowed)
-            || fVmxAllowed)
-        {
+        fMsrLocked          = !!(fFC & MSR_IA32_FEATURE_CONTROL_LOCK);
+        fSmxVmxAllowed      = fMsrLocked && !!(fFC & MSR_IA32_FEATURE_CONTROL_SMX_VMXON);
+        fVmxAllowed         = fMsrLocked && !!(fFC & MSR_IA32_FEATURE_CONTROL_VMXON);
+        bool const fAllowed = fInSmxMode ? fSmxVmxAllowed : fVmxAllowed;
+        if (fAllowed)
             rc = VINF_SUCCESS;
-        }
         else
             rc = VERR_VMX_MSR_LOCKING_FAILED;