Changeset 9717 in vbox

Timestamp:

Jun 16, 2008 12:09:37 PM (17 years ago)

Author:

vboxsync

Message:

Logging updates

File:

• trunk/src/VBox/VMM/VMMAll/PGMAllBth.h (modified) (7 diffs)

trunk/src/VBox/VMM/VMMAll/PGMAllBth.h

@@ -865 +865 @@
     int rc;
 
-    LogFlow(("InvalidatePage %x\n", GCPtrPage));
+    LogFlow(("InvalidatePage %VGv\n", GCPtrPage));
     /*
      * Get the shadow PD entry and skip out if this PD isn't present.
@@ -991 +991 @@
              * Mark not present so we can set the accessed bit.
              */
+            LogFlow(("InvalidatePage: Out-of-sync PML4E (A) at %VGp Pml4eSrc=%RX64 Pml4eDst=%RX64\n",
+                     GCPtrPage, (uint64_t)pPml4eSrc->u, (uint64_t)pPml4eDst->u));
             pgmPoolFree(pVM, pPml4eDst->u & X86_PML4E_PG_MASK, PGMPOOL_IDX_PML4, iPml4);
             pPml4eDst->u = 0;
@@ -999 +1001 @@
     else
     {
+        LogFlow(("InvalidatePage: Out-of-sync PML4E (P) at %VGp Pml4eSrc=%RX64 Pml4eDst=%RX64\n",
+                    GCPtrPage, (uint64_t)pPml4eSrc->u, (uint64_t)pPml4eDst->u));
         pgmPoolFree(pVM, pPml4eDst->u & X86_PML4E_PG_MASK, PGMPOOL_IDX_PML4, iPml4);
         pPml4eDst->u = 0;
@@ -1027 +1031 @@
              * Mark not present so we can set the accessed bit.
              */
+            LogFlow(("InvalidatePage: Out-of-sync PDPE (A) at %VGp PdpeSrc=%RX64 PdpeDst=%RX64\n",
+                     GCPtrPage, (uint64_t)PdpeSrc.u, (uint64_t)pPdpeDst->u));
             pgmPoolFree(pVM, pPdpeDst->u & SHW_PDPT_MASK, PGMPOOL_IDX_PML4, iPml4);
             pPdpeDst->u = 0;
@@ -1035 +1041 @@
     else
     {
+        LogFlow(("InvalidatePage: Out-of-sync PDPE (P) at %VGp PdpeSrc=%RX64 PdpeDst=%RX64\n",
+                    GCPtrPage, (uint64_t)PdpeSrc.u, (uint64_t)pPdpeDst->u));
         pgmPoolFree(pVM, pPdpeDst->u & SHW_PDPT_MASK, PGMPOOL_IDX_PDPT, iPDDst);
         pPdpeDst->u = 0;
@@ -1076 +1084 @@
              * Mark not present so we can set the accessed bit.
              */
+            LogFlow(("InvalidatePage: Out-of-sync (A) at %VGp PdeSrc=%RX64 PdeDst=%RX64\n",
+                     GCPtrPage, (uint64_t)PdeSrc.u, (uint64_t)PdeDst.u));
             pgmPoolFree(pVM, PdeDst.u & SHW_PDE_PG_MASK, SHW_POOL_ROOT_IDX, iPDDst);
             pPdeDst->u = 0;
@@ -1160 +1170 @@
              * deciding which 4MB pages containing code likely to be executed very soon.
              */
+            LogFlow(("InvalidatePage: Out-of-sync PD at %VGp PdeSrc=%RX64 PdeDst=%RX64\n",
+                     GCPtrPage, (uint64_t)PdeSrc.u, (uint64_t)PdeDst.u));
             pgmPoolFree(pVM, PdeDst.u & SHW_PDE_PG_MASK, SHW_POOL_ROOT_IDX, iPDDst);
             pPdeDst->u = 0;