Changeset 16902 in vbox

Timestamp:

Feb 18, 2009 1:37:22 PM (16 years ago)

Author:

vboxsync

Message:

Assertion added

File:

• trunk/src/VBox/VMM/VMMAll/PGMAllBth.h (modified) (2 diffs)

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

@@ -4653 +4653 @@
 
 #  ifndef PGM_WITHOUT_MAPPINGS
-    /* Apply all hypervisor mappings to the new CR3. */
+    /* Apply all hypervisor mappings to the new CR3. 
+     * Note that SyncCR3 will be executed in case CR3 is changed in a guest paging mode; this will
+     * make sure we check for conflicts in the new CR3 root.
+     */
+#   if PGM_WITH_PAGING(PGM_GST_TYPE, PGM_SHW_TYPE)
+    Assert(VM_FF_ISSET(pVM, VM_FF_PGM_SYNC_CR3_NON_GLOBAL));
+#   endif
     rc = PGMMapActivateAll(pVM);
     AssertRCReturn(rc, rc);
@@ -4754 +4760 @@
 
 # ifndef PGM_WITHOUT_MAPPINGS
-    /* Remove the hypervisor mappings from the shadow page table.
-     * Note that SyncCR3 will be executed in case CR3 is changed in a guest paging mode; this will
-     * make sure we check for conflicts in the new CR3 root.
-     */
+    /* Remove the hypervisor mappings from the shadow page table. */
     PGMMapDeactivateAll(pVM);
 # endif