Revision: linuxbios@linuxbios.org--devel/freebios--devel--2.0--patch-38

[coreboot.git] / src / devices / emulator / biosemu.c

diff --git a/src/devices/emulator/biosemu.c b/src/devices/emulator/biosemu.c
index b007ec41be34b3bdbc6e8d4254b8b44345955345..85f10c648fdac14c29c0853393bdbd8686b60f99 100644 (file)
--- a/src/devices/emulator/biosemu.c
+++ b/src/devices/emulator/biosemu.c
@@ -161,7 +161,6 @@ void do_int(int num)
  * BIOS. Most of this information was pulled from
  * dosemu.
  */
-#if 0
 void setup_int_vect(void)
 {
        int i;
@@ -223,7 +222,6 @@ int setup_system_bios(void *base_addr)
 
        return 1;
 }
-#endif
 
 void reset_int_vect(void)
 {
@@ -327,8 +325,6 @@ void run_bios(struct device * dev, unsigned long addr)
 
 //     X86EMU_trace_on();
 
-       printk_info("entering emulator\n");
-
        X86EMU_exec();
 #endif
 }