Changeset 27390 in vbox for trunk/src/VBox/VMM

Timestamp:

Mar 16, 2010 9:35:30 AM (15 years ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

58843

Message:

Tweaked previous fix

File:

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

trunk/src/VBox/VMM/VMMAll/PGMAll.cpp

@@ -1876 +1876 @@
         }
         /* Make sure we check for pending pgm pool syncs as we clear VMCPU_FF_PGM_SYNC_CR3 later on! */
-        if (pVCpu->pgm.s.fSyncFlags & PGM_SYNC_CLEAR_PGM_POOL)
+        if (    rc == VINF_PGM_SYNC_CR3
+            ||  (pVCpu->pgm.s.fSyncFlags & PGM_SYNC_CLEAR_PGM_POOL))
         {
             Log(("PGMSyncCR3: pending pgm pool sync after MapCR3!\n"));