Changeset 9956 in vbox for trunk/src/VBox/VMM

Timestamp:

Jun 26, 2008 2:19:39 PM (16 years ago)

Author:

vboxsync

Message:

Quietly reject any attempts at flushing the currently active shadow CR3 mapping.

File:

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

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

@@ -2458 +2458 @@
     u.pau64 = (uint64_t *)PGMPOOL_PAGE_2_PTR(pPool->CTXSUFF(pVM), pUserPage);
 
+    /* Safety precaution in case we change the paging for other modes too in the future. */
+    Assert(PGMGetHyperCR3(CTXSUFF(pPool->pVM)) != pPage->Core.Key);
+
 #ifdef VBOX_STRICT
     /*
@@ -3433 +3436 @@
     if (pPage->idx < PGMPOOL_IDX_FIRST)
     {
-        Log(("pgmPoolFlushPage: specaial root page, rejected. enmKind=%d idx=%d\n", pPage->enmKind, pPage->idx));
+        Log(("pgmPoolFlushPage: special root page, rejected. enmKind=%d idx=%d\n", pPage->enmKind, pPage->idx));
         return VINF_SUCCESS;
     }
+
+    /*
+     * Quietly reject any attempts at flushing the currently active shadow CR3 mapping
+     */
+    if (    pPage->idx == PGMPOOL_IDX_AMD64_CR3
+        &&  PGMGetHyperCR3(CTXSUFF(pPool->pVM)) != pPage->Core.Key)
+    {
+        Log(("pgmPoolFlushPage: current active shadow CR3, rejected. enmKind=%d idx=%d\n", pPage->enmKind, pPage->idx));
+        return VINF_SUCCESS;
+    }
+    /* Safety precaution in case we change the paging for other modes too in the future. */
+    AssertFatal(PGMGetHyperCR3(CTXSUFF(pPool->pVM)) != pPage->Core.Key);
 
     /*