Rev 3947 | Rev 3964 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3947 | Rev 3963 | ||
|---|---|---|---|
| Line 123... | Line 123... | ||
| 123 | } |
123 | } |
| 124 | 124 | ||
| 125 | void arch_post_smp_init(void) |
125 | void arch_post_smp_init(void) |
| 126 | { |
126 | { |
| 127 | devno_t kbd = device_assign_devno(); |
127 | devno_t kbd = device_assign_devno(); |
| 128 | devno_t mouse = device_assign_devno(); |
- | |
| 129 | /* keyboard controller */ |
128 | /* keyboard controller */ |
| 130 | i8042_init(kbd, IRQ_KBD, mouse, IRQ_MOUSE); |
129 | (void) i8042_init((i8042_t *) I8042_BASE, kbd, IRQ_KBD); |
| 131 | } |
130 | } |
| 132 | 131 | ||
| 133 | void calibrate_delay_loop(void) |
132 | void calibrate_delay_loop(void) |
| 134 | { |
133 | { |
| 135 | i8254_calibrate_delay_loop(); |
134 | i8254_calibrate_delay_loop(); |