diff options
Diffstat (limited to 'util/vgabios/int16.c')
| -rw-r--r-- | util/vgabios/int16.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/util/vgabios/int16.c b/util/vgabios/int16.c index f3a9719008..06df8266af 100644 --- a/util/vgabios/int16.c +++ b/util/vgabios/int16.c @@ -1,7 +1,9 @@ #include <stdio.h> +#include "testbios.h" int int16_handler(void) { printf("\nint16: keyboard not supported right now.\n"); + x86emu_dump_xregs(); return 1; } |