1 files changed, 4 insertions, 9 deletions
diff --git a/src/VBox/Devices/PC/BIOS/print.c b/src/VBox/Devices/PC/BIOS/print.c
index 7d549949..e8a82d94 100644
--- a/src/VBox/Devices/PC/BIOS/print.c
+++ b/src/VBox/Devices/PC/BIOS/print.c
@@ -47,8 +47,6 @@
 // Debug printf support
 
 /* Redirect INFO output to backdoor logging port. */
-#define PANIC_PORT  0x400
-#define PANIC_PORT2 0x401
 #define INFO_PORT   0x504
 #define DEBUG_PORT  0x403
 
@@ -154,17 +152,14 @@ void bios_printf(uint16_t action, const char *s, ...)
     bx_bool     in_format;
     int         i;
     uint16_t    arg, nibble, hibyte, format_width, hexadd;
-    va_list     args; 
-    
+    va_list     args;
+
     va_start( args, s );
-    
+
     in_format = 0;
     format_width = 0;
-    
+
     if ((action & BIOS_PRINTF_DEBHALT) == BIOS_PRINTF_DEBHALT) {
-#if BX_VIRTUAL_PORTS
-        outb(PANIC_PORT2, 0x00);
-#endif
         bios_printf (BIOS_PRINTF_SCREEN, "FATAL: ");
     }