Index: /trunk/src/VBox/VMM/VMMAll/REMAll.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/REMAll.cpp	(revision 24115)
+++ /trunk/src/VBox/VMM/VMMAll/REMAll.cpp	(revision 24116)
@@ -100,5 +100,6 @@
             do
             {
-                Assert(cFlushes++ != 128);
+                cFlushes++;
+                Assert(cFlushes != 128);
                 AssertFatal(cFlushes < _1M);
                 VMMRZCallRing3NoCpu(pVM, VMMCALLRING3_REM_REPLAY_HANDLER_NOTIFICATIONS, 0);
@@ -225,4 +226,6 @@
             return;
     }
+    Assert(VM_FF_ISSET(pVM, VM_FF_REM_HANDLER_NOTIFY));
+    Assert(pVM->rem.s.idxPendingList != UINT32_MAX);
 
     /* Ok, we gotta flush them. */