1/*
2** Copyright 2004, Axel D��rfler, axeld@pinc-software.de
3** Distributed under the terms of the MIT License.
4*/
5
6
7#include <KernelExport.h>
8
9#include <int.h>
10
11#include <boot/stage2.h>
12#include <arch/smp.h>
13#include <debug.h>
14
15
16status_t
17arch_smp_init(kernel_args *args)
18{
19	return B_OK;
20}
21
22
23status_t
24arch_smp_per_cpu_init(kernel_args *args, int32 cpu)
25{
26	return B_OK;
27}
28
29
30void
31arch_smp_send_ici(int32 target_cpu)
32{
33	panic("called arch_smp_send_ici!\n");
34}
35
36
37void
38arch_smp_send_multicast_ici(CPUSet& cpuSet)
39{
40#if KDEBUG
41        if (are_interrupts_enabled())
42                panic("arch_smp_send_multicast_ici: called with interrupts enabled");
43#endif
44}
45
46
47void
48arch_smp_send_broadcast_ici()
49{
50	panic("called arch_smp_send_broadcast_ici\n");
51}
52
53