Index: /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 48343)
+++ /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 48344)
@@ -4065,5 +4065,4 @@
             /** @todo this isn't necessary, but I'm still seeing triple faults. */
             VMCPU_FF_SET(pVCpu, VMCPU_FF_TO_R3);
-            pVCpu->hm.s.fContextUseFlags |= HM_CHANGED_VMX_EXIT_CTLS;
         }
 #else
@@ -4085,5 +4084,4 @@
              *        between 16/32-bit and long mode frequently at times. */
             VMCPU_FF_SET(pVCpu, VMCPU_FF_TO_R3);
-            pVCpu->hm.s.fContextUseFlags |= HM_CHANGED_VMX_EXIT_CTLS;
         }
 #else