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 <boot/stage2.h>
10#include <arch/smp.h>
11#include <debug.h>
12
13
14status_t
15arch_smp_init(kernel_args *args)
16{
17	return B_OK;
18}
19
20
21status_t
22arch_smp_per_cpu_init(kernel_args *args, int32 cpu)
23{
24	return B_OK;
25}
26
27
28void
29arch_smp_send_ici(int32 target_cpu)
30{
31	panic("called arch_smp_send_ici!\n");
32}
33
34
35void
36arch_smp_send_broadcast_ici()
37{
38	panic("called arch_smp_send_broadcast_ici\n");
39}
40
41