/*** Copyright 2001, Travis Geiselbrecht. All rights reserved.** Distributed under the terms of the NewOS License.*/#include <kernel/debug.h>#include <kernel/arch/smp.h>int arch_smp_init(kernel_args *ka){return 0;}int arch_smp_get_current_cpu(){return 0;}void arch_smp_send_ici(int target_cpu){panic("called arch_smp_send_ici!\n");}void arch_smp_send_broadcast_ici(){panic("called arch_smp_send_broadcast_ici\n");}