Index: /trunk/src/VBox/VMM/VMMAll/PGMAllPool.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/PGMAllPool.cpp	(revision 19868)
+++ /trunk/src/VBox/VMM/VMMAll/PGMAllPool.cpp	(revision 19869)
@@ -2064,5 +2064,5 @@
     pPool->cPresent = 0;
     pgmUnlock(pVM);
-    PGM_INVL_VCPU_TLBS(VMMGetCpu(pVM));
+    PGM_INVL_ALL_VCPU_TLBS(pVM);
     STAM_PROFILE_STOP(&pPool->StatClearAll, c);
     return VINF_SUCCESS;
@@ -2621,4 +2621,5 @@
 void pgmPoolTrackFlushGCPhysPTs(PVM pVM, PPGMPAGE pPhysPage, uint16_t iPhysExt)
 {
+    Assert(PGMIsLockOwner(pVM));
     PPGMPOOL pPool = pVM->pgm.s.CTX_SUFF(pPool);
     STAM_PROFILE_START(&pPool->StatTrackFlushGCPhysPTs, f);
@@ -3823,4 +3824,5 @@
     PVM pVM = pPool->CTX_SUFF(pVM);
 
+    Assert(PGMIsLockOwner(pVM));
     STAM_PROFILE_START(&pPool->StatFlushAllInt, a);
     LogFlow(("pgmPoolFlushAllInt:\n"));
@@ -4004,5 +4006,4 @@
  *
  * This moves the page to the free list after removing all user references to it.
- * In GC this will cause a CR3 reload if the page is traced back to an active root page.
  *
  * @returns VBox status code.