PGMInternal.h

Timestamp:

Jun 11, 2008 10:03:56 AM (17 years ago)

Author:

vboxsync

Message:

PGMPOOLKIND_64BIT_PD_FOR_64BIT_PD is the same as PGMPOOLKIND_PAE_PD_FOR_PAE_PD.

File:

trunk/src/VBox/VMM/PGMInternal.h

r9570	r9596
1369	1369	/** Shw: 64-bit page directory pointer table; Gst: 64-bit page directory pointer table. */
1370	1370	PGMPOOLKIND_64BIT_PDPT_FOR_64BIT_PDPT,
1371		~~/** Shw: 64-bit page directory table; Gst: 64-bit page directory table. */~~
1372		~~PGMPOOLKIND_64BIT_PD_FOR_64BIT_PD,~~
1373	1371
1374	1372	/** Shw: Root 32-bit page directory. */

Note: See TracChangeset for help on using the changeset viewer.