儲存庫 vbox 的更動 12417

時間撮記:

2008-9-12 上午11:45:24 (16 年 以前)

作者:

vboxsync

訊息:

Flushing the pgm pool cache when switching guest modes does not apply to nested paging.

檔案:

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

trunk/src/VBox/VMM/PGM.cpp

@@ -3250 +3250 @@
      */
     if (   pVM->pgm.s.CTXSUFF(pPool)
+        && !HWACCMIsNestedPagingActive(pVM)
         && PGMMODE_WITH_PAGING(pVM->pgm.s.enmGuestMode) != PGMMODE_WITH_PAGING(enmGuestMode))
     {