/** Copyright 2019 Haiku, Inc. All Rights Reserved.* Distributed under the terms of the MIT License.*/#include <KernelExport.h>#include <boot/stage2.h>#include <arch/smp.h>#include <debug.h>#include <interrupts.h>status_tarch_smp_init(kernel_args *args){return B_OK;}status_tarch_smp_per_cpu_init(kernel_args *args, int32 cpu){return B_OK;}voidarch_smp_send_multicast_ici(CPUSet& cpuSet){}voidarch_smp_send_ici(int32 target_cpu){}voidarch_smp_send_broadcast_ici(){}