coreboot-kgpe-d16/util/vgabios/int15.c

13 lines
177 B
C

#include <stdio.h>
#include "test.h"
void x86emu_dump_xregs();
int int15_handler(void)
{
printf("\nint15 encountered.\n");
//x86emu_dump_xregs();
X86_EAX = 0;
return 1;
}