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