Index: /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 81238)
+++ /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 81239)
@@ -4678,21 +4678,18 @@
         /*
          * VMRUN function.
+         * If the guest is in long mode, use the 64-bit guest handler, else the 32-bit guest handler.
+         * The host is always 64-bit since we no longer support 32-bit hosts.
          */
-        {
-            /* If the guest is in long mode, use the 64-bit guest handler, else the 32-bit guest handler.
-             * The host is always 64-bit since we no longer support 32-bit hosts.
-             */
-            if (fGstInLongMode)
-            {
+        if (fGstInLongMode)
+        {
 #ifndef VBOX_WITH_64_BITS_GUESTS
-                return VERR_PGM_UNSUPPORTED_SHADOW_PAGING_MODE;
+            return VERR_PGM_UNSUPPORTED_SHADOW_PAGING_MODE;
 #else
-                Assert(pVM->hm.s.fAllow64BitGuests);                          /* Guaranteed by hmR3InitFinalizeR0(). */
-                pVmcsInfo->pfnStartVM = VMXR0StartVM64;
+            Assert(pVM->hm.s.fAllow64BitGuests);                              /* Guaranteed by hmR3InitFinalizeR0(). */
+            pVmcsInfo->pfnStartVM = VMXR0StartVM64;
 #endif
-            }
-            else
-                pVmcsInfo->pfnStartVM = VMXR0StartVM32;
-        }
+        }
+        else
+            pVmcsInfo->pfnStartVM = VMXR0StartVM32;
 
         /*