42,6 → 42,7 |
#include <kbd.h> |
#include <keys.h> |
#include <genarch/kbd.h> |
#include <sysinfo.h> |
|
/* Interesting bits for status register */ |
#define i8042_OUTPUT_FULL 0x1 |
125,12 → 126,10 |
/* enable mouse */ |
mouseenabled = 1; |
|
ipc_register_irq(MOUSE_IRQ, &i8042_kbd); |
ipc_register_irq(sysinfo_value("mouse.inr"), sysinfo_value("mouse.devno"), 0, &i8042_kbd); |
} |
/* Enable kbd */ |
ipc_register_irq(KBD_IRQ, &i8042_kbd); |
/* Register for irq restart */ |
ipc_register_irq(IPC_IRQ_KBDRESTART, NULL); |
ipc_register_irq(sysinfo_value("kbd.inr"), sysinfo_value("kbd.devno"), 0, &i8042_kbd); |
|
int newcontrol = i8042_KBD_IE | i8042_KBD_TRANSLATE; |
if (mouseenabled) |
149,11 → 148,6 |
{ |
int status = IPC_GET_ARG1(*call); |
|
if (IPC_GET_METHOD(*call) == IPC_IRQ_KBDRESTART) { |
kbd_arch_init(); |
return 1; |
} |
|
if ((status & i8042_MOUSE_DATA)) |
return 0; |
|