util/vgabios/int15.c

   1 #include <stdio.h>
   2 #include <stdtypes.h>
   3 #include "testbios.h"
   4
   5 int int15_handler(void)
   6 {
   7         printf("\nint15 encountered.\n");
   8         x86emu_dump_xregs();
   9         X86_EAX = 0;
  10         return 1;
  11 }