Changeset 12417 in vbox for trunk/src

Timestamp:

Sep 12, 2008 11:45:24 AM (16 years ago)

Author:

vboxsync

Message:

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

File:

• trunk/src/VBox/VMM/PGM.cpp (modified) (1 diff)

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))
     {