Changeset 12203 in vbox

Timestamp:

Sep 8, 2008 8:22:13 AM (16 years ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

36180

Message:

More verbose assertion

File:

• trunk/src/VBox/VMM/VMMAll/PGMAllPool.cpp (modified) (1 diff)

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

@@ -3614 +3614 @@
     }
     /* Safety precaution in case we change the paging for other modes too in the future. */
-    AssertFatal(PGMGetHyperCR3(CTXSUFF(pPool->pVM)) != pPage->Core.Key);
+    AssertFatalMsg(PGMGetHyperCR3(CTXSUFF(pPool->pVM)) != pPage->Core.Key, ("Can't free the shadow CR3! (%VGp vs %VGp kind=%d\n", PGMGetHyperCR3(CTXSUFF(pPool->pVM)), pPage->Core.Key, pPage->enmKind));
 
     /*