Index: /trunk/include/VBox/err.h
===================================================================
--- /trunk/include/VBox/err.h	(revision 76221)
+++ /trunk/include/VBox/err.h	(revision 76222)
@@ -2057,6 +2057,4 @@
 /** VMX CPU extension not available in hardware. */
 #define VERR_VMX_NO_VMX                             (-4009)
-/** VMX CPU extension not supported as something went wrong during init. */
-#define VERR_VMX_NOT_SUPPORTED                      (-4010)
 /** CPU was incorrectly left in VMX root mode; incompatible with VirtualBox */
 #define VERR_VMX_IN_VMX_ROOT_MODE                   (-4011)
Index: /trunk/src/VBox/VMM/VMMAll/HMVMXAll.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/HMVMXAll.cpp	(revision 76221)
+++ /trunk/src/VBox/VMM/VMMAll/HMVMXAll.cpp	(revision 76222)
@@ -384,5 +384,5 @@
         return VINF_SUCCESS;
     }
-    return VERR_VMX_NOT_SUPPORTED;
+    return VERR_VMX_NO_VMX;
 }
 
@@ -438,5 +438,5 @@
         return VINF_SUCCESS;
     }
-    return VERR_VMX_NOT_SUPPORTED;
+    return VERR_VMX_NO_VMX;
 }