Index: /trunk/src/VBox/VMM/VMMR0/HWSVMR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HWSVMR0.cpp	(revision 19817)
+++ /trunk/src/VBox/VMM/VMMR0/HWSVMR0.cpp	(revision 19818)
@@ -844,4 +844,5 @@
     uint8_t     u8LastVTPR;
     PHWACCM_CPUINFO pCpu = 0;
+    RTCCUINTREG uOldEFlags;
 #ifdef VBOX_STRICT
     RTCPUID  idCpuCheck;
@@ -989,5 +990,5 @@
      * This must be done *before* we check for TLB flushes; TLB shootdowns rely on this.
      */
-    RTCCUINTREG uOldEFlags = ASMIntDisableFlags();
+    uOldEFlags = ASMIntDisableFlags();
     VMCPU_SET_STATE(pVCpu, VMCPUSTATE_STARTED_EXEC);
 
Index: /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 19817)
+++ /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 19818)
@@ -1969,4 +1969,5 @@
     bool        fSyncTPR = false;
     PHWACCM_CPUINFO pCpu = 0;
+    RTCCUINTREG uOldEFlags;
     unsigned    cResume = 0;
 #ifdef VBOX_STRICT
@@ -2195,5 +2196,5 @@
      * This must be done *before* we check for TLB flushes; TLB shootdowns rely on this.
      */
-    RTCCUINTREG uOldEFlags = ASMIntDisableFlags();
+    uOldEFlags = ASMIntDisableFlags();
     VMCPU_SET_STATE(pVCpu, VMCPUSTATE_STARTED_EXEC);