Changeset 12998 in vbox for trunk/src/VBox/VMM/VMMAll

Timestamp:

Oct 6, 2008 9:38:43 AM (16 years ago)

Author:

vboxsync

Message:

More logging

File:

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

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

@@ -902 +902 @@
         if (rc == VERR_PGM_POOL_FLUSHED)
         {
+            Log(("PGMShwSyncLongModePDPtr: PGM pool flushed (1) -> signal sync cr3\n"));
             Assert(pVM->pgm.s.fSyncFlags & PGM_SYNC_CLEAR_PGM_POOL);
             VM_FF_SET(pVM, VM_FF_PGM_SYNC_CR3);
@@ -943 +944 @@
         if (rc == VERR_PGM_POOL_FLUSHED)
         {
+            Log(("PGMShwSyncLongModePDPtr: PGM pool flushed (2) -> signal sync cr3\n"));
             Assert(pVM->pgm.s.fSyncFlags & PGM_SYNC_CLEAR_PGM_POOL);
             VM_FF_SET(pVM, VM_FF_PGM_SYNC_CR3);