Changeset 12405 in vbox for trunk

Timestamp:

Sep 11, 2008 3:01:43 PM (16 years ago)

Author:

vboxsync

Message:

We must flush the PGM pool cache if the guest mode changes; we don't always
switch shadow paging mode (e.g. protected->32-bit) and shouldn't reuse
the shadow page tables. (#3115 OS/2 guests)

File:

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

trunk/src/VBox/VMM/PGM.cpp

@@ -3180 +3180 @@
 
     }
+    else
+        LogFlow(("PGMR3ChangeMode: Shadow mode remains: %s\n",  PGMGetModeName(pVM->pgm.s.enmShadowMode)));
 
     /* guest */
@@ -3237 +3239 @@
             return rc;
         }
+    }
+
+    /* We must flush the PGM pool cache if the guest mode changes; we don't always
+     * switch shadow paging mode (e.g. protected->32-bit) and shouldn't reuse
+     * the shadow page tables.
+     */
+    if (   pVM->pgm.s.CTXSUFF(pPool)
+        && pVM->pgm.s.enmGuestMode != enmGuestMode)
+    {
+        Log(("PGMR3ChangeMode: changing guest paging mode -> flush pgm pool cache!\n"));
+        pgmPoolFlushAll(pVM);
     }