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