2 * Copyright 2007, Haiku Inc. All rights reserved.
3 * Distributed under the terms of the MIT License.
6 * François Revol <revol@free.fr>
8 * Copyright 2004, Axel Dörfler, axeld@pinc-software.de
9 * Distributed under the terms of the MIT License.
13 #include <KernelExport.h>
15 #include <boot/stage2.h>
22 arch_smp_init(kernel_args
*args
)
29 arch_smp_per_cpu_init(kernel_args
*args
, int32 cpu
)
36 arch_smp_send_multicast_ici(CPUSet
& cpuSet
)
39 if (are_interrupts_enabled())
40 panic("arch_smp_send_multicast_ici: called with interrupts enabled");
46 arch_smp_send_ici(int32 target_cpu
)
48 panic("called arch_smp_send_ici!\n");
53 arch_smp_send_broadcast_ici()
55 panic("called arch_smp_send_broadcast_ici\n");