| tag | line | file | source code |
|---|---|---|---|
| leds | 720 | drivers/char/keyboard.c | unsigned char leds = kbd_table[fg_console].flags & LED_MASK; |
| leds | 722 | drivers/char/keyboard.c | if (leds != old_leds) { |
| leds | 723 | drivers/char/keyboard.c | old_leds = leds; |
| leds | 724 | drivers/char/keyboard.c | if (!send_data(0xed) || !send_data(leds)) |