Index: /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 48346)
+++ /trunk/src/VBox/VMM/VMMR0/HMVMXR0.cpp	(revision 48347)
@@ -4060,10 +4060,5 @@
 #if HC_ARCH_BITS == 32 && !defined(VBOX_WITH_HYBRID_32BIT_KERNEL)
         /* 32-bit host. We need to switch to 64-bit before running the 64-bit guest. */
-        if (pVCpu->hm.s.vmx.pfnStartVM != VMXR0SwitcherStartVM64)
-        {
-            pVCpu->hm.s.vmx.pfnStartVM = VMXR0SwitcherStartVM64;
-            /** @todo this isn't necessary, but I'm still seeing triple faults. */
-            VMCPU_FF_SET(pVCpu, VMCPU_FF_TO_R3);
-        }
+        pVCpu->hm.s.vmx.pfnStartVM = VMXR0SwitcherStartVM64;
 #else
         /* 64-bit host or hybrid host. */