//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 */ |
} |
} |