Index: /trunk/src/VBox/Main/ConsoleImpl.cpp
===================================================================
--- /trunk/src/VBox/Main/ConsoleImpl.cpp	(revision 32898)
+++ /trunk/src/VBox/Main/ConsoleImpl.cpp	(revision 32899)
@@ -1867,5 +1867,5 @@
 
     /* Leave the lock before any EMT/VMMDev call. */
-    alock.leave();
+    alock.release();
 
     /* Check if the CPU is unlocked */
@@ -2033,5 +2033,5 @@
 
     /* leave the lock before a VMR3* call (EMT will call us back)! */
-    alock.leave();
+    alock.release();
 
     if (vrc == VERR_TIMEOUT || RT_SUCCESS(vrc))