1/* 2** Copyright 2001, Travis Geiselbrecht. All rights reserved. 3** Distributed under the terms of the NewOS License. 4*/ 5#include <kernel/debug.h> 6#include <kernel/arch/smp.h> 7 8int arch_smp_init(kernel_args *ka) 9{ 10 return 0; 11} 12 13int arch_smp_get_current_cpu() 14{ 15 return 0; 16} 17 18void arch_smp_send_ici(int target_cpu) 19{ 20 panic("called arch_smp_send_ici!\n"); 21} 22 23void arch_smp_send_broadcast_ici() 24{ 25 panic("called arch_smp_send_broadcast_ici\n"); 26} 27 28