util/vgabios/int16.c

   1 #include <stdio.h>
   2
   3 int int16_handler(void)
   4 {
   5         printf("\nint16: keyboard not supported right now.\n");
   6         return 1;
   7 }