| /SPARTAN/trunk/arch/amd64/src/amd64.c |
|---|
| 75,10 → 75,10 |
| trap_register(VECTOR_SYSCALL, syscall); |
| #ifdef __SMP__ |
| #ifdef CONFIG_SMP |
| trap_register(VECTOR_TLB_SHOOTDOWN_IPI, tlb_shootdown_ipi); |
| trap_register(VECTOR_WAKEUP_IPI, wakeup_ipi); |
| #endif /* __SMP__ */ |
| #endif /* CONFIG_SMP */ |
| } |
| } |
| 94,9 → 94,9 |
| if (config.cpu_active == 1) { |
| memory_print_map(); |
| #ifdef __SMP__ |
| #ifdef CONFIG_SMP |
| acpi_init(); |
| #endif /* __SMP__ */ |
| #endif /* CONFIG_SMP */ |
| } |
| } |