Rev 4329 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4329 | Rev 4596 | ||
---|---|---|---|
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; |