Add ifdtool, utility to read / modify Intel Firmware Descriptor images

[coreboot.git] / util / vgabios / int10.c

diff --git a/util/vgabios/int10.c b/util/vgabios/int10.c
index 702be4f399e574dd168d3597a22a643b3f29c5d2..bccb3d9954bc66ab07fed6ca7cf8402edc58dff2 100644 (file)
--- a/util/vgabios/int10.c
+++ b/util/vgabios/int10.c
@@ -18,7 +18,7 @@ extern int verbose;
  */
 int int42_handler()
 {
-
+#if 0
        if (verbose && X86_AH != 0x0e) {
                printf("int%x\n", current->num);
                x86emu_dump_xregs();
@@ -472,7 +472,7 @@ int int42_handler()
                /* Ignored                                            */
                break;
        }
-
+#endif
        return 1;
 }
 #endif