儲存庫 vbox 的更動 17116

時間撮記:

2009-2-25 上午10:32:33 (16 年 以前)

作者:

vboxsync

訊息:

VBOX_WITH_PGMPOOL_PAGING_ONLY: mapping implies present

檔案:

• trunk/src/VBox/VMM/VMMAll/PGMAllPool.cpp (修改) (1 筆差異)

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) */