Make UEFI boot-platform build again
[haiku.git] / headers / private / kernel / arch / smp.h
blob4b59e45041add6109154db37ea1ce9138b4c22c7
1 /*
2 ** Copyright 2001-2002, Travis Geiselbrecht. All rights reserved.
3 ** Distributed under the terms of the NewOS License.
4 */
5 #ifndef KERNEL_ARCH_SMP_H
6 #define KERNEL_ARCH_SMP_H
9 #include <kernel.h>
12 struct kernel_args;
14 class CPUSet;
17 status_t arch_smp_init(kernel_args* args);
18 status_t arch_smp_per_cpu_init(kernel_args* args, int32 cpu);
20 void arch_smp_send_ici(int32 target_cpu);
21 void arch_smp_send_broadcast_ici();
22 void arch_smp_send_multicast_ici(CPUSet& cpuSet);
25 #endif /* KERNEL_ARCH_SMP_H */