Changeset 16919 in vbox for trunk/src/VBox/VMM

Timestamp:

Feb 18, 2009 4:00:29 PM (16 years ago)

Author:

vboxsync

Message:

VBOX_WITH_PGMPOOL_PAGING_ONLY: disabled obsolete code

File:

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

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

@@ -1991 +1991 @@
 }
 
-# ifdef PGMPOOL_WITH_MIXED_PT_CR3
+# if defined(PGMPOOL_WITH_MIXED_PT_CR3) && !defined(VBOX_WITH_PGMPOOL_PAGING_ONLY)
 
 /**
@@ -2112 +2112 @@
 }
 
-# endif /* PGMPOOL_WITH_MIXED_PT_CR3 */
+# endif /* PGMPOOL_WITH_MIXED_PT_CR3 && !VBOX_WITH_PGMPOOL_PAGING_ONLY*/
 
 /**