taglinefilesource code
leds785drivers/char/keyboard.cunsigned char leds = kbd_table[fg_console].ledstate;
leds787drivers/char/keyboard.cif (leds != old_leds) {
leds788drivers/char/keyboard.cold_leds = leds;
leds789drivers/char/keyboard.cif (!send_data(0xed) || !send_data(leds))