Rev 894 | Rev 1112 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 894 | Rev 958 | ||
---|---|---|---|
Line 58... | Line 58... | ||
58 | if (config.cpu_active == 1) { |
58 | if (config.cpu_active == 1) { |
59 | bios_init(); |
59 | bios_init(); |
60 | i8259_init(); /* PIC */ |
60 | i8259_init(); /* PIC */ |
61 | i8254_init(); /* hard clock */ |
61 | i8254_init(); /* hard clock */ |
62 | 62 | ||
63 | exc_register(VECTOR_SYSCALL, "syscall", syscall); |
63 | exc_register(VECTOR_SYSCALL, "syscall", (iroutine) syscall); |
64 | 64 | ||
65 | #ifdef CONFIG_SMP |
65 | #ifdef CONFIG_SMP |
66 | exc_register(VECTOR_TLB_SHOOTDOWN_IPI, "tlb_shootdown", |
66 | exc_register(VECTOR_TLB_SHOOTDOWN_IPI, "tlb_shootdown", |
67 | tlb_shootdown_ipi); |
67 | (iroutine) tlb_shootdown_ipi); |
68 | #endif /* CONFIG_SMP */ |
68 | #endif /* CONFIG_SMP */ |
69 | } |
69 | } |
70 | } |
70 | } |
71 | 71 | ||
72 | void arch_post_mm_init(void) |
72 | void arch_post_mm_init(void) |