| 44,6 → 44,7 |
|---|
| #include <arch/cpuid.h> |
| #include <genarch/acpi/acpi.h> |
| #include <panic.h> |
| #include <interrupt.h> |
| |
| void arch_pre_mm_init(void) |
| { |
| 72,11 → 73,12 |
|---|
| i8259_init(); /* PIC */ |
| i8254_init(); /* hard clock */ |
| |
| trap_register(VECTOR_SYSCALL, syscall); |
| exc_register(VECTOR_SYSCALL, "syscall", syscall); |
| |
| #ifdef CONFIG_SMP |
| trap_register(VECTOR_TLB_SHOOTDOWN_IPI, tlb_shootdown_ipi); |
| trap_register(VECTOR_WAKEUP_IPI, wakeup_ipi); |
| exc_register(VECTOR_TLB_SHOOTDOWN_IPI, "tlb_shootdown", |
| tlb_shootdown_ipi); |
| exc_register(VECTOR_WAKEUP_IPI, "wakeup_ipi", wakeup_ipi); |
| #endif /* CONFIG_SMP */ |
| } |
| } |