Index: /trunk/src/VBox/VMM/VMMR0/PDMR0Device.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/PDMR0Device.cpp	(revision 19763)
+++ /trunk/src/VBox/VMM/VMMR0/PDMR0Device.cpp	(revision 19764)
@@ -444,11 +444,13 @@
         switch(VMCPU_GET_STATE(pVCpu))
         {
-        case VMCPUSTATE_STARTED_EXEC:
-            GVMMR0SchedPokeEx(pVM, pVCpu->idCpu, false /* don't take the used lock */);
-            break;
-
-        case VMCPUSTATE_STARTED_HALTED:
-            GVMMR0SchedWakeUpEx(pVM, pVCpu->idCpu, false /* don't take the used lock */);
-            break;
+            case VMCPUSTATE_STARTED_EXEC:
+                GVMMR0SchedPokeEx(pVM, pVCpu->idCpu, false /* don't take the used lock */);
+                break;
+
+            case VMCPUSTATE_STARTED_HALTED:
+                GVMMR0SchedWakeUpEx(pVM, pVCpu->idCpu, false /* don't take the used lock */);
+                break;
+            default:
+                AssertFailed();
         }
     }