Changeset 9595 in vbox

Timestamp:

Jun 11, 2008 9:53:30 AM (16 years ago)

Author:

vboxsync

Message:

PGM pool updates for long mode

File:

• trunk/src/VBox/VMM/VMMAll/PGMAllPool.cpp (modified) (4 diffs)

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

@@ -1252 +1252 @@
         case PGMPOOLKIND_PAE_PD_FOR_PAE_PD:
         case PGMPOOLKIND_PAE_PT_FOR_PAE_PT:
+        case PGMPOOLKIND_64BIT_PDPT_FOR_64BIT_PDPT:
         case PGMPOOLKIND_ROOT_PDPT:
             break;
@@ -1265 +1266 @@
         case PGMPOOLKIND_ROOT_32BIT_PD:
         case PGMPOOLKIND_ROOT_PAE_PD:
+        case PGMPOOLKIND_ROOT_PML4:
 #ifdef PGMPOOL_WITH_MIXED_PT_CR3
             break;
 #endif
         case PGMPOOLKIND_PAE_PD_FOR_32BIT_PD:
-        case PGMPOOLKIND_64BIT_PDPT_FOR_64BIT_PDPT:
-        case PGMPOOLKIND_ROOT_PML4:
         default:
             AssertFatalMsgFailed(("This can't happen! enmKind=%d\n", pPage->enmKind));
@@ -1333 +1333 @@
         case PGMPOOLKIND_PAE_PD_FOR_PAE_PD:
         case PGMPOOLKIND_PAE_PT_FOR_PAE_PT:
+        case PGMPOOLKIND_64BIT_PDPT_FOR_64BIT_PDPT:
         case PGMPOOLKIND_ROOT_PDPT:
             break;
@@ -1346 +1347 @@
         case PGMPOOLKIND_ROOT_32BIT_PD:
         case PGMPOOLKIND_ROOT_PAE_PD:
+        case PGMPOOLKIND_ROOT_PML4:
 #ifdef PGMPOOL_WITH_MIXED_PT_CR3
             break;
 #endif
         case PGMPOOLKIND_PAE_PD_FOR_32BIT_PD:
-        case PGMPOOLKIND_64BIT_PDPT_FOR_64BIT_PDPT:
-        case PGMPOOLKIND_ROOT_PML4:
         default:
             AssertFatalMsgFailed(("This can't happen! enmKind=%d\n", pPage->enmKind));