1/*
2** Copyright 2001-2002, Travis Geiselbrecht. All rights reserved.
3** Distributed under the terms of the NewOS License.
4*/
5#ifndef KERNEL_ARCH_SMP_H
6#define KERNEL_ARCH_SMP_H
7
8
9#include <kernel.h>
10
11
12struct kernel_args;
13
14class CPUSet;
15
16
17status_t arch_smp_init(kernel_args* args);
18status_t arch_smp_per_cpu_init(kernel_args* args, int32 cpu);
19
20void arch_smp_send_ici(int32 target_cpu);
21void arch_smp_send_broadcast_ici();
22void arch_smp_send_multicast_ici(CPUSet& cpuSet);
23
24
25#endif	/* KERNEL_ARCH_SMP_H */
26