diff options
Diffstat (limited to 'util/vgabios/int10.c')
| -rw-r--r-- | util/vgabios/int10.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/util/vgabios/int10.c b/util/vgabios/int10.c index 702be4f399..bccb3d9954 100644 --- 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 |