| 54,7 → 54,6 |
|---|
| |
| #include <arch/bios/bios.h> |
| |
| #include <arch/mm/memory_init.h> |
| #include <interrupt.h> |
| #include <ddi/irq.h> |
| #include <arch/debugger.h> |
| 116,8 → 115,6 |
|---|
| void arch_pre_smp_init(void) |
| { |
| if (config.cpu_active == 1) { |
| memory_print_map(); |
| |
| #ifdef CONFIG_SMP |
| acpi_init(); |
| #endif /* CONFIG_SMP */ |
| 126,8 → 123,10 |
|---|
| |
| void arch_post_smp_init(void) |
| { |
| devno_t kbd = device_assign_devno(); |
| devno_t mouse = device_assign_devno(); |
| /* keyboard controller */ |
| i8042_init(device_assign_devno(), IRQ_KBD, device_assign_devno(), IRQ_MOUSE); |
| i8042_init(kbd, IRQ_KBD, mouse, IRQ_MOUSE); |
| } |
| |
| void calibrate_delay_loop(void) |