tag	line	file	source code
send_data	692	kernel/chr_drv/keyboard.c	if (!send_data(0xed) || !send_data(leds))
send_data	693	kernel/chr_drv/keyboard.c	send_data(0xf4);  /* re-enable kbd if any errors */