diff options
Diffstat (limited to 'util/vgabios/int15.c')
-rw-r--r-- | util/vgabios/int15.c | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/util/vgabios/int15.c b/util/vgabios/int15.c index 239b6beef5..a1235bbbf7 100644 --- a/util/vgabios/int15.c +++ b/util/vgabios/int15.c @@ -1,12 +1,11 @@ #include <stdio.h> -#include "test.h" - -void x86emu_dump_xregs(); +#include <stdtypes.h> +#include "testbios.h" int int15_handler(void) { printf("\nint15 encountered.\n"); - //x86emu_dump_xregs(); + x86emu_dump_xregs(); X86_EAX = 0; return 1; } |