buildgcc: improve portability
[coreboot.git] / util / vgabios / int15.c
index 59af923ad190896a55d94ee3a59fb73836b43b7d..239b6beef584c39e051dc3199dde01f0fafdc365 100644 (file)
@@ -6,7 +6,7 @@ void x86emu_dump_xregs();
 int int15_handler(void)
 {
        printf("\nint15 encountered.\n");
-       x86emu_dump_xregs();
+       //x86emu_dump_xregs();
        X86_EAX = 0;
        return 1;
 }