tag	line	file	source code
send_data	1180	drivers/char/keyboard.c	if (!send_data(0xed) || !send_data(leds))
send_data	1181	drivers/char/keyboard.c	send_data(0xf4);  /* re-enable kbd if any errors */