Changeset 12203

Timestamp:

09/08/08 10:22:13 (2 months ago)

Author:

vboxsync

Message:

More verbose assertion

Files:

• 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. */
-(PGMGetHyperCR3(CTXSUFF(pPool->pVM)) != pPage->Core.Key
+Msg(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)
-
-    /*