Changeset 43872 in vbox for trunk/src/VBox/VMM/VMMAll

Timestamp:

Nov 15, 2012 8:52:11 AM (12 years ago)

Author:

vboxsync

Message:

Make VBOX_WITH_RAW_MODE= link.

File:

• trunk/src/VBox/VMM/VMMAll/PGMAllShw.h (modified) (1 diff)

trunk/src/VBox/VMM/VMMAll/PGMAllShw.h

@@ -299 +299 @@
     {
 # if    PGM_SHW_TYPE == PGM_TYPE_AMD64 \
-     || PGM_SHW_TYPE == PGM_TYPE_EPT
+     || PGM_SHW_TYPE == PGM_TYPE_EPT \
+     || defined(PGM_WITHOUT_MAPPINGS)
         AssertFailed(); /* can't happen */
         pPT = NULL;     /* shut up MSC */