1/*
2 * Copyright 2019 Haiku, Inc. All Rights Reserved.
3 * Distributed under the terms of the MIT License.
4 */
5#include <KernelExport.h>
6
7#include <boot/stage2.h>
8#include <arch/smp.h>
9#include <debug.h>
10#include <int.h>
11
12
13status_t
14arch_smp_init(kernel_args *args)
15{
16	return B_OK;
17}
18
19
20status_t
21arch_smp_per_cpu_init(kernel_args *args, int32 cpu)
22{
23	return B_OK;
24}
25
26
27void
28arch_smp_send_multicast_ici(CPUSet& cpuSet)
29{
30}
31
32
33void
34arch_smp_send_ici(int32 target_cpu)
35{
36}
37
38
39void
40arch_smp_send_broadcast_ici()
41{
42}
43