| 43,7 → 43,6 |
|---|
| #include <sysinfo.h> |
| #include <kbd_port.h> |
| #include <kbd.h> |
| #include <ddi.h> |
| #include "i8042.h" |
| |
| /* Interesting bits for status register */ |
| 135,9 → 134,9 |
|---|
| (void) pio_read_8(&i8042->data); |
| |
| /* Enable kbd */ |
| i8042_kbd.cmds[0].addr = (void *) &((i8042_t *) i8042_kernel)->status; |
| i8042_kbd.cmds[3].addr = (void *) &((i8042_t *) i8042_kernel)->data; |
| ipc_register_irq(sysinfo_value("kbd.inr"), device_assign_devno(), 0, &i8042_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); |
| |
| int newcontrol = i8042_KBD_IE | i8042_KBD_TRANSLATE; |
| if (mouseenabled) |
| 151,14 → 150,6 |
|---|
| return 0; |
| } |
| |
| void kbd_port_yield(void) |
| { |
| } |
| |
| void kbd_port_reclaim(void) |
| { |
| } |
| |
| static void i8042_irq_handler(ipc_callid_t iid, ipc_call_t *call) |
| { |
| int status = IPC_GET_ARG1(*call); |