Changeset 28648 in vbox

Timestamp:

Apr 23, 2010 2:10:07 PM (15 years ago)

Author:

vboxsync

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

60508

Message:

More logging

File:

• trunk/src/VBox/VMM/VMMAll/PGMAllPool.cpp (modified) (6 diffs)

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

@@ -3107 +3107 @@
 #ifdef LOG_ENABLED
             Log(("cRefs=%d iFirstPresent=%d cPresent=%d\n", cRefs, pPage->iFirstPresent, pPage->cPresent));
+            Log(("Found %RX64 expected %RX64\n", pPT->a[iPte].u & (X86_PTE_PAE_PG_MASK | X86_PTE_P), u64));
             for (unsigned i = 0; i < RT_ELEMENTS(pPT->a); i++)
                 if ((pPT->a[i].u & (X86_PTE_PAE_PG_MASK | X86_PTE_P)) == u64)
@@ -3127 +3128 @@
                 STAM_COUNTER_INC(&pPool->StatTrackFlushEntry);
                 pPT->a[iPte].u = 0;
-                cRefs--;
 
                 /* Update the counter as we're removing references. */
@@ -3153 +3153 @@
         {
             Assert(HWACCMIsNestedPagingActive(pVM));
-            Assert(cRefs == 1);
 
             const uint64_t  u64 = PGM_PAGE_GET_HCPHYS(pPhysPage) | X86_PDE4M_P | X86_PDE4M_PS;
@@ -3163 +3162 @@
                 STAM_COUNTER_INC(&pPool->StatTrackFlushEntry);
                 pPD->a[iPte].u = 0;
-                cRefs--;
 
                 /* Update the counter as we're removing references. */
@@ -3189 +3187 @@
         {
             Assert(HWACCMIsNestedPagingActive(pVM));
-            Assert(cRefs == 1);
 
             const uint64_t  u64 = PGM_PAGE_GET_HCPHYS(pPhysPage) | X86_PDE4M_P | X86_PDE4M_PS;
@@ -3199 +3196 @@
                 STAM_COUNTER_INC(&pPool->StatTrackFlushEntry);
                 pPD->a[iPte].u = 0;
-                cRefs--;
 
                 /* Update the counter as we're removing references. */