taglinefilesource code
leds827drivers/char/keyboard.cunsigned char leds = kbd_table[fg_console].ledstate;
leds829drivers/char/keyboard.cif (leds != old_leds) {
leds830drivers/char/keyboard.cold_leds = leds;
leds831drivers/char/keyboard.cif (!send_data(0xed) || !send_data(leds))