util/vgabios/int16.c - mirrors/cros/chromiumos/third_party/coreboot - Git at Google

 #include <stdio.h>

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

	int int16_handler(void)
	{
	printf("\nint16: keyboard not supported right now.\n");
	return 1;
	}