儲存庫 vbox 的更動 12405

時間撮記:

2008-9-11 下午03:01:43 (16 年 以前)

作者:

vboxsync

訊息:

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)

檔案:

• trunk/src/VBox/VMM/PGM.cpp (修改) (2 筆差異)

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);
     }