2 ** Copyright 2004, Axel Dörfler, axeld@pinc-software.de
3 ** Distributed under the terms of the MIT License.
7 #include <KernelExport.h>
9 #include <boot/stage2.h>
15 arch_smp_init(kernel_args
*args
)
22 arch_smp_per_cpu_init(kernel_args
*args
, int32 cpu
)
29 arch_smp_send_ici(int32 target_cpu
)
31 panic("called arch_smp_send_ici!\n");
36 arch_smp_send_broadcast_ici()
38 panic("called arch_smp_send_broadcast_ici\n");