Make a Kconfig option for debugging output from realmode emulation. Trivial.

[coreboot.git] / src / devices / oprom / x86.c

diff --git a/src/devices/oprom/x86.c b/src/devices/oprom/x86.c
index 42267faa5f5b72149e35ccfdb7bcfedb622b53f5..60776f68ea42b7e594d837992fc8f62a944df815 100644 (file)
--- a/src/devices/oprom/x86.c
+++ b/src/devices/oprom/x86.c
@@ -329,6 +329,7 @@ int __attribute__((regparm(0))) interrupt_handler(u32 intnumber,
        cs = cs_ip >> 16;
        flags = stackflags;
 
+#if CONFIG_REALMODE_DEBUG
        printk(BIOS_DEBUG, "oprom: INT# 0x%x\n", intnumber);
        printk(BIOS_DEBUG, "oprom: eax: %08x ebx: %08x ecx: %08x edx: %08x\n",
                      eax, ebx, ecx, edx);
@@ -336,6 +337,7 @@ int __attribute__((regparm(0))) interrupt_handler(u32 intnumber,
                     ebp, esp, edi, esi);
        printk(BIOS_DEBUG, "oprom:  ip: %04x      cs: %04x   flags: %08x\n",
                     ip, cs, flags);
+#endif
 
        // Fetch arguments from the stack and put them into
        // a structure that we want to pass on to our sub interrupt