taglinefilesource code
leds807drivers/char/keyboard.cunsigned char leds = kbd_table[fg_console].ledstate;
leds809drivers/char/keyboard.cif (leds != old_leds) {
leds810drivers/char/keyboard.cold_leds = leds;
leds811drivers/char/keyboard.cif (!send_data(0xed) || !send_data(leds))