Index: /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 24028)
+++ /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 24029)
@@ -124,5 +124,5 @@
      */
 
-    if (ASMGetCR4() & X86_CR4_VMXE))
+    if (ASMGetCR4() & X86_CR4_VMXE)
         return VERR_VMX_IN_VMX_ROOT_MODE;