Changeset 56702 in vbox for trunk/src/VBox/HostDrivers/Support/darwin/SUPDrv-darwin.cpp

Timestamp:

Jun 30, 2015 3:01:59 PM (10 years ago)

Author:

vboxsync

Message:

supdrvOSEnableVTx: Protect against double disable when we can (#7920).

File:

• trunk/src/VBox/HostDrivers/Support/darwin/SUPDrv-darwin.cpp (modified) (2 diffs)

trunk/src/VBox/HostDrivers/Support/darwin/SUPDrv-darwin.cpp

@@ -971 +971 @@
              * Call the kernel.
              */
+            AssertLogRelMsg(!g_pVmxUseCount || *g_pVmxUseCount >= 0,
+                            ("vmx_use_count=%d (@ %p, expected it to be a positive number\n",
+                             *g_pVmxUseCount, g_pVmxUseCount));
+
             rc = host_vmxon(false /* exclusive */);
             if (rc == VMX_OK)
@@ -987 +991 @@
         else
         {
+            AssertLogRelMsgReturn(!g_pVmxUseCount || *g_pVmxUseCount >= 1,
+                                  ("vmx_use_count=%d (@ %p, expected it to be a non-zero positive number\n",
+                                   *g_pVmxUseCount, g_pVmxUseCount),
+                                  VERR_WRONG_ORDER);
             host_vmxoff();
             rc = VINF_SUCCESS;