Changeset 21966 in vbox for trunk

Timestamp:

Aug 4, 2009 4:47:38 PM (15 years ago)

Author:

vboxsync

Message:

Workaround for fatal cached page table free.

File:

• trunk/src/VBox/VMM/VMMAll/PGMAllBth.h (modified) (1 diff)

trunk/src/VBox/VMM/VMMAll/PGMAllBth.h

@@ -4417 +4417 @@
 
     /* Clean up the old CR3 root. */
-    if (pOldShwPageCR3)
+    if (    pOldShwPageCR3 
+        &&  pOldShwPageCR3 != pNewShwPageCR3    /* @todo can happen due to incorrect syncing between REM & PGM; find the real cause */)
     {
         Assert(pOldShwPageCR3->enmKind != PGMPOOLKIND_FREE);