Rev 534 | Rev 799 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 534 | Rev 576 | ||
|---|---|---|---|
| Line 42... | Line 42... | ||
| 42 | #include <arch/cpu.h> |
42 | #include <arch/cpu.h> |
| 43 | #include <print.h> |
43 | #include <print.h> |
| 44 | #include <arch/cpuid.h> |
44 | #include <arch/cpuid.h> |
| 45 | #include <genarch/acpi/acpi.h> |
45 | #include <genarch/acpi/acpi.h> |
| 46 | #include <panic.h> |
46 | #include <panic.h> |
| - | 47 | #include <interrupt.h> |
|
| 47 | 48 | ||
| 48 | void arch_pre_mm_init(void) |
49 | void arch_pre_mm_init(void) |
| 49 | { |
50 | { |
| 50 | struct cpu_info cpuid_s; |
51 | struct cpu_info cpuid_s; |
| 51 | 52 | ||
| Line 70... | Line 71... | ||
| 70 | if (config.cpu_active == 1) { |
71 | if (config.cpu_active == 1) { |
| 71 | bios_init(); |
72 | bios_init(); |
| 72 | i8259_init(); /* PIC */ |
73 | i8259_init(); /* PIC */ |
| 73 | i8254_init(); /* hard clock */ |
74 | i8254_init(); /* hard clock */ |
| 74 | 75 | ||
| 75 | trap_register(VECTOR_SYSCALL, syscall); |
76 | exc_register(VECTOR_SYSCALL, "syscall", syscall); |
| 76 | 77 | ||
| 77 | #ifdef CONFIG_SMP |
78 | #ifdef CONFIG_SMP |
| 78 | trap_register(VECTOR_TLB_SHOOTDOWN_IPI, tlb_shootdown_ipi); |
79 | exc_register(VECTOR_TLB_SHOOTDOWN_IPI, "tlb_shootdown", |
| - | 80 | tlb_shootdown_ipi); |
|
| 79 | trap_register(VECTOR_WAKEUP_IPI, wakeup_ipi); |
81 | exc_register(VECTOR_WAKEUP_IPI, "wakeup_ipi", wakeup_ipi); |
| 80 | #endif /* CONFIG_SMP */ |
82 | #endif /* CONFIG_SMP */ |
| 81 | } |
83 | } |
| 82 | } |
84 | } |
| 83 | 85 | ||
| 84 | void arch_post_mm_init(void) |
86 | void arch_post_mm_init(void) |