Rev 4581 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4581 | Rev 4718 | ||
|---|---|---|---|
| Line 133... | Line 133... | ||
| 133 | /* Flush all current IO */ |
133 | /* Flush all current IO */ |
| 134 | while (pio_read_8(&i8042->status) & i8042_OUTPUT_FULL) |
134 | while (pio_read_8(&i8042->status) & i8042_OUTPUT_FULL) |
| 135 | (void) pio_read_8(&i8042->data); |
135 | (void) pio_read_8(&i8042->data); |
| 136 | 136 | ||
| 137 | /* Enable kbd */ |
137 | /* Enable kbd */ |
| 138 | i8042_kbd.cmds[0].addr = &((i8042_t *) i8042_kernel)->status; |
138 | i8042_kbd.cmds[0].addr = (void *) &((i8042_t *) i8042_kernel)->status; |
| 139 | i8042_kbd.cmds[3].addr = &((i8042_t *) i8042_kernel)->data; |
139 | i8042_kbd.cmds[3].addr = (void *) &((i8042_t *) i8042_kernel)->data; |
| 140 | ipc_register_irq(sysinfo_value("kbd.inr"), device_assign_devno(), 0, &i8042_kbd); |
140 | ipc_register_irq(sysinfo_value("kbd.inr"), device_assign_devno(), 0, &i8042_kbd); |
| 141 | 141 | ||
| 142 | int newcontrol = i8042_KBD_IE | i8042_KBD_TRANSLATE; |
142 | int newcontrol = i8042_KBD_IE | i8042_KBD_TRANSLATE; |
| 143 | if (mouseenabled) |
143 | if (mouseenabled) |
| 144 | newcontrol |= i8042_MOUSE_IE; |
144 | newcontrol |= i8042_MOUSE_IE; |