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

Timestamp:

Feb 25, 2009 10:32:33 AM (16 years ago)

Author:

vboxsync

Message:

VBOX_WITH_PGMPOOL_PAGING_ONLY: mapping implies present

File:

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

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

@@ -933 +933 @@
                     {
                         if (   (pPdpt->a[i].u & PGM_PLXFLAGS_MAPPING)
-                            &&  pPdpt->a[i].n.u1Present
                             &&  pPage->Core.Key == (pPdpt->a[i].u & X86_PDPE_PG_MASK))
                         {
+                            Assert(pPdpt->a[i].n.u1Present);
                             LogFlow(("pgmPoolIsActiveRootPage found PAE PDPE root\n"));
                             pPage->cModifications = 1; /* reset counter (can't use 0, or else it will be reinserted in the modified list) */