Changeset 16599 in vbox for trunk

Timestamp:

Feb 9, 2009 4:12:59 PM (16 years ago)

Author:

vboxsync

Message:

VBOX_WITH_PGMPOOL_PAGING_ONLY: updates

Location:

trunk/src/VBox/VMM/VMMAll

Files:

• PGMAll.cpp (modified) (1 diff)
• PGMAllPool.cpp (modified) (2 diffs)

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

@@ -899 +899 @@
 
             GCPdPt  = pGstPdpe->u & X86_PDPE_PG_MASK;
-            enmKind = PGMPOOLKIND_PAE_PD_FOR_PAE_PD;
+            enmKind = (CPUMGetGuestCR4(pVM) & X86_CR4_PAE) ? PGMPOOLKIND_PAE_PD_FOR_PAE_PD : PGMPOOLKIND_PAE_PD_FOR_32BIT_PD;
         }
 

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

@@ -1619 +1619 @@
         case PGMPOOLKIND_64BIT_PML4:
 #ifdef VBOX_WITH_PGMPOOL_PAGING_ONLY
+        case PGMPOOLKIND_PAE_PD_FOR_32BIT_PD:
         case PGMPOOLKIND_32BIT_PD:
         case PGMPOOLKIND_PAE_PDPT:
@@ -1653 +1654 @@
 #ifdef PGMPOOL_WITH_MIXED_PT_CR3
             break;
-#endif
+#else
         case PGMPOOLKIND_PAE_PD_FOR_32BIT_PD:
+#endif
         default:
             AssertFatalMsgFailed(("This can't happen! enmKind=%d\n", pPage->enmKind));