Changeset 11825 in vbox for trunk/src/VBox/Devices/PC/DevPcBios.cpp

Timestamp:

Aug 29, 2008 2:29:45 PM (17 years ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

35656

Message:

VBOX_WITH_VMI

File:

• trunk/src/VBox/Devices/PC/DevPcBios.cpp (modified) (2 diffs)

trunk/src/VBox/Devices/PC/DevPcBios.cpp

@@ -1509 +1509 @@
         return rc;
 
-#if 0
-    /* VMI not yet */
-#ifndef VBOX_OSE
+#ifdef VBOX_WITH_VMI
     /*
      * Map the VMI BIOS into memory.
@@ -1519 +1517 @@
     if (RT_FAILURE(rc))
         return rc;
-#endif
-#endif
+#endif /* VBOX_WITH_VMI */
 
     /*