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