2 ** Copyright 2001, Travis Geiselbrecht. All rights reserved.
3 ** Distributed under the terms of the NewOS License.
5 #include <kernel/debug.h>
6 #include <kernel/arch/smp.h>
8 int arch_smp_init(kernel_args
*ka
)
13 int arch_smp_get_current_cpu()
18 void arch_smp_send_ici(int target_cpu
)
20 panic("called arch_smp_send_ici!\n");
23 void arch_smp_send_broadcast_ici()
25 panic("called arch_smp_send_broadcast_ici\n");