57,10 → 57,12 |
|
#include <arch/mm/memory_init.h> |
#include <interrupt.h> |
#include <ddi/irq.h> |
#include <arch/debugger.h> |
#include <proc/thread.h> |
#include <syscall/syscall.h> |
#include <console/console.h> |
#include <ddi/device.h> |
|
#ifdef CONFIG_SMP |
#include <arch/smp/apic.h> |
71,16 → 73,11 |
pm_init(); |
|
if (config.cpu_active == 1) { |
interrupt_init(); |
bios_init(); |
i8259_init(); /* PIC */ |
i8254_init(); /* hard clock */ |
|
exc_register(VECTOR_SYSCALL, "syscall", (iroutine) syscall); |
|
#ifdef CONFIG_SMP |
exc_register(VECTOR_TLB_SHOOTDOWN_IPI, "tlb_shootdown", |
(iroutine) tlb_shootdown_ipi); |
#endif /* CONFIG_SMP */ |
/* PIC */ |
i8259_init(); |
} |
} |
|
87,7 → 84,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(); |
95,7 → 97,6 |
#endif |
ega_init(); /* video */ |
|
|
/* Enable debugger */ |
debugger_init(); |
/* Merge all memory zones to 1 big zone */ |
126,7 → 127,8 |
|
void arch_post_smp_init(void) |
{ |
i8042_init(); /* keyboard controller */ |
/* keyboard controller */ |
i8042_init(device_assign_devno(), IRQ_KBD); |
} |
|
void calibrate_delay_loop(void) |