This patch is from 2009-10-20

[coreboot.git] / util / x86emu / x86_interrupts.c

diff --git a/util/x86emu/x86_interrupts.c b/util/x86emu/x86_interrupts.c
index a21a0ab9882a689c5b547c72b2aadbc13476438c..95964f89f2c3ee3f8eda505e1fa28fab893f6c89 100644 (file)
--- a/util/x86emu/x86_interrupts.c
+++ b/util/x86emu/x86_interrupts.c
@@ -26,7 +26,6 @@
 #include <console/console.h>
 #include <arch/io.h>
 #include <arch/registers.h>
-#define printk(x...) do_printk(x)
 
 enum {
        PCIBIOS_CHECK = 0xb101,