| 43,6 → 43,7 |
|---|
| #include <sysinfo.h> |
| #include <kbd_port.h> |
| #include <kbd.h> |
| #include <ddi.h> |
| #include "i8042.h" |
| |
| /* Interesting bits for status register */ |
| 136,7 → 137,7 |
|---|
| /* Enable kbd */ |
| i8042_kbd.cmds[0].addr = &((i8042_t *) i8042_kernel)->status; |
| i8042_kbd.cmds[3].addr = &((i8042_t *) i8042_kernel)->data; |
| ipc_register_irq(sysinfo_value("kbd.inr"), sysinfo_value("kbd.devno"), 0, &i8042_kbd); |
| ipc_register_irq(sysinfo_value("kbd.inr"), device_assign_devno(), 0, &i8042_kbd); |
| |
| int newcontrol = i8042_KBD_IE | i8042_KBD_TRANSLATE; |
| if (mouseenabled) |