taglinefilesource code
send_data1129drivers/char/keyboard.cif (!send_data(0xed) || !send_data(leds))
send_data1130drivers/char/keyboard.csend_data(0xf4);  /* re-enable kbd if any errors */