| 61,6 → 61,8 |
|---|
| #include <arch/debugger.h> |
| #include <syscall/syscall.h> |
| #include <console/console.h> |
| #include <ddi/irq.h> |
| #include <ddi/device.h> |
| |
| |
| /** Disable I/O on non-privileged levels |
| 130,14 → 132,11 |
|---|
| clean_AM_flag(); |
| |
| if (config.cpu_active == 1) { |
| interrupt_init(); |
| bios_init(); |
| i8259_init(); /* PIC */ |
| i8254_init(); /* hard clock */ |
| |
| #ifdef CONFIG_SMP |
| exc_register(VECTOR_TLB_SHOOTDOWN_IPI, "tlb_shootdown", |
| tlb_shootdown_ipi); |
| #endif /* CONFIG_SMP */ |
| |
| /* PIC */ |
| i8259_init(); |
| } |
| } |
| |
| 144,6 → 143,12 |
|---|
| void arch_post_mm_init(void) |
| { |
| if (config.cpu_active == 1) { |
| /* Initialize IRQ routing */ |
| irq_init(IRQ_COUNT, IRQ_COUNT); |
| |
| /* hard clock */ |
| i8254_init(); |
| |
| #ifdef CONFIG_FB |
| if (vesa_present()) |
| vesa_init(); |
| 150,6 → 155,7 |
|---|
| else |
| #endif |
| ega_init(); /* video */ |
| |
| /* Enable debugger */ |
| debugger_init(); |
| /* Merge all memory zones to 1 big zone */ |
| 183,13 → 189,20 |
|---|
| |
| void arch_post_smp_init(void) |
| { |
| i8042_init(); /* keyboard controller */ |
| /* keyboard controller */ |
| i8042_init(device_assign_devno(), IRQ_KBD, device_assign_devno(), IRQ_MOUSE); |
| } |
| |
| void calibrate_delay_loop(void) |
| { |
| i8254_calibrate_delay_loop(); |
| i8254_normal_operation(); |
| if (config.cpu_active == 1) { |
| /* |
| * This has to be done only on UP. |
| * On SMP, i8254 is not used for time keeping and its interrupt pin remains masked. |
| */ |
| i8254_normal_operation(); |
| } |
| } |
| |
| /** Set thread-local-storage pointer |