Index: /trunk/src/VBox/VMM/VMMRC/TRPMRCHandlers.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMRC/TRPMRCHandlers.cpp	(revision 42778)
+++ /trunk/src/VBox/VMM/VMMRC/TRPMRCHandlers.cpp	(revision 42779)
@@ -1139,5 +1139,5 @@
             Assert(TRPMHasTrap(pVCpu));
             /* no break; */
-        case VINF_PGM_SYNC_CR3: /** @todo Check this with Sander. */
+        case VINF_PGM_SYNC_CR3:
         case VINF_EM_RAW_EMULATE_INSTR:
         case VINF_IOM_R3_IOPORT_READ:
@@ -1152,4 +1152,5 @@
         case VINF_EM_PENDING_REQUEST:
         case VINF_EM_HALT:
+        case VINF_SELM_SYNC_GDT:
         case VINF_SUCCESS:
             break;
Index: /trunk/src/VBox/VMM/include/EMHandleRCTmpl.h
===================================================================
--- /trunk/src/VBox/VMM/include/EMHandleRCTmpl.h	(revision 42778)
+++ /trunk/src/VBox/VMM/include/EMHandleRCTmpl.h	(revision 42779)
@@ -289,5 +289,6 @@
          */
         case VINF_SELM_SYNC_GDT:
-            AssertMsg(VMCPU_FF_ISPENDING(pVCpu, VMCPU_FF_SELM_SYNC_GDT), ("VINF_SELM_SYNC_GDT without VMCPU_FF_SELM_SYNC_GDT!\n"));
+            AssertMsg(VMCPU_FF_ISPENDING(pVCpu, VMCPU_FF_SELM_SYNC_GDT | VMCPU_FF_SELM_SYNC_LDT | VMCPU_FF_SELM_SYNC_TSS),
+                      ("VINF_SELM_SYNC_GDT without VMCPU_FF_SELM_SYNC_GDT/LDT/TSS!\n"));
             rc = VINF_SUCCESS;
             break;