1 /* 2 ** Copyright 2001-2002, Travis Geiselbrecht. All rights reserved. 3 ** Distributed under the terms of the NewOS License. 4 */ 5 #ifndef _NEWOS_KERNEL_ARCH_SMP_H 6 #define _NEWOS_KERNEL_ARCH_SMP_H 7 8 #include <kernel.h> 9 #include <stage2.h> 10 11 // must match MAX_BOOT_CPUS in stage2.h 12 #define SMP_MAX_CPUS MAX_BOOT_CPUS 13 14 int arch_smp_init(kernel_args *ka); 15 void arch_smp_send_ici(int target_cpu); 16 void arch_smp_send_broadcast_ici(void); 17 18 #endif 19 20