| tag | line | file | source code |
|---|---|---|---|
| send_data | 1146 | drivers/char/keyboard.c | if (!send_data(0xed) || !send_data(leds)) |
| send_data | 1147 | drivers/char/keyboard.c | send_data(0xf4); /* re-enable kbd if any errors */ |
| send_data | 1193 | drivers/char/keyboard.c | if (!send_data(0xf0) || !send_data(0x02)) |