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