| tag | line | file | source code |
|---|---|---|---|
| leds | 1357 | kernel/chr_drv/keyboard.c | unsigned char leds = kbd_table[fg_console].flags & LED_MASK; |
| leds | 1359 | kernel/chr_drv/keyboard.c | if (leds != old_leds) { |
| leds | 1360 | kernel/chr_drv/keyboard.c | old_leds = leds; |
| leds | 1361 | kernel/chr_drv/keyboard.c | if (!send_data(0xed) || !send_data(leds)) |