Rev 534 | Rev 825 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 534 | Rev 576 | ||
|---|---|---|---|
| Line 47... | Line 47... | ||
| 47 | #include <genarch/acpi/acpi.h> |
47 | #include <genarch/acpi/acpi.h> |
| 48 | 48 | ||
| 49 | #include <arch/bios/bios.h> |
49 | #include <arch/bios/bios.h> |
| 50 | 50 | ||
| 51 | #include <arch/mm/memory_init.h> |
51 | #include <arch/mm/memory_init.h> |
| - | 52 | #include <interrupt.h> |
|
| 52 | 53 | ||
| 53 | void arch_pre_mm_init(void) |
54 | void arch_pre_mm_init(void) |
| 54 | { |
55 | { |
| 55 | pm_init(); |
56 | pm_init(); |
| 56 | 57 | ||
| 57 | if (config.cpu_active == 1) { |
58 | if (config.cpu_active == 1) { |
| 58 | bios_init(); |
59 | bios_init(); |
| 59 | i8259_init(); /* PIC */ |
60 | i8259_init(); /* PIC */ |
| 60 | i8254_init(); /* hard clock */ |
61 | i8254_init(); /* hard clock */ |
| 61 | 62 | ||
| 62 | trap_register(VECTOR_SYSCALL, syscall); |
63 | exc_register(VECTOR_SYSCALL, "syscall", syscall); |
| 63 | 64 | ||
| 64 | #ifdef CONFIG_SMP |
65 | #ifdef CONFIG_SMP |
| 65 | trap_register(VECTOR_TLB_SHOOTDOWN_IPI, tlb_shootdown_ipi); |
66 | exc_register(VECTOR_TLB_SHOOTDOWN_IPI, "tlb_shootdown", |
| - | 67 | tlb_shootdown_ipi); |
|
| 66 | trap_register(VECTOR_WAKEUP_IPI, wakeup_ipi); |
68 | exc_register(VECTOR_WAKEUP_IPI, "wakeup_ipi", wakeup_ipi); |
| 67 | #endif /* CONFIG_SMP */ |
69 | #endif /* CONFIG_SMP */ |
| 68 | } |
70 | } |
| 69 | } |
71 | } |
| 70 | 72 | ||
| 71 | void arch_post_mm_init(void) |
73 | void arch_post_mm_init(void) |