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(); |