Changeset 19869 in vbox

Timestamp:

May 20, 2009 2:12:15 PM (15 years ago)

Author:

vboxsync

Message:

More flushes & assertions

File:

• trunk/src/VBox/VMM/VMMAll/PGMAllPool.cpp (modified) (4 diffs)

trunk/src/VBox/VMM/VMMAll/PGMAllPool.cpp

@@ -2064 +2064 @@
     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 +2621 @@
 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 +3824 @@
     PVM pVM = pPool->CTX_SUFF(pVM);
 
+    Assert(PGMIsLockOwner(pVM));
     STAM_PROFILE_START(&pPool->StatFlushAllInt, a);
     LogFlow(("pgmPoolFlushAllInt:\n"));
@@ -4004 +4006 @@
  *
  * 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.