Changeset 7820 in vbox for trunk/src

Timestamp:

Apr 9, 2008 8:16:01 AM (17 years ago)

Author:

vboxsync

Message:

Lazy clearing of PAE page directory

File:

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

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

@@ -104 +104 @@
 # if PGM_SHW_TYPE == PGM_TYPE_32BIT
     PX86PD          pPDDst = pVM->pgm.s.CTXMID(p,32BitPD);
-# else /* PAE */
+# elif PGM_SHW_TYPE == PGM_TYPE_PAE
     PX86PDPAE       pPDDst = pVM->pgm.s.CTXMID(ap,PaePDs)[0]; /* We treat this as a PD with 2048 entries. */
+
+#  if PGM_GST_TYPE == PGM_TYPE_PAE
+    /* Did we mark the PDPT as not present in SyncCR3? */
+    unsigned iPDPTE = ((RTGCUINTPTR)pvFault >> SHW_PDPT_SHIFT) & SHW_PDPT_MASK;
+    if (!pVM->pgm.s.CTXMID(p,PaePDPT)->a[iPDPTE].n.u1Present)
+    {
+        /* lazily clear the page directory */
+        ASMMemZero32(pVM->pgm.s.CTXMID(ap,PaePDs)[iPDPTE], PAGE_SIZE);
+        pVM->pgm.s.CTXMID(p,PaePDPT)->a[iPDPTE].n.u1Present = 1;
+    }
+#  endif
+# else
+    AssertFailed();
 # endif
 
@@ -2671 +2684 @@
         {
             /* PDPT not present */
-            /** @todo expensive */
-            ASMMemZero32(pVM->pgm.s.CTXMID(ap,PaePDs)[iPDPTE], PAGE_SIZE);
+            pVM->pgm.s.CTXMID(p,PaePDPT)->a[iPDPTE].n.u1Present = 0;
             continue;
         }