1 /* SPDX-License-Identifier: GPL-2.0 */
3 #ifndef __ASM_CSKY_SMP_H
4 #define __ASM_CSKY_SMP_H
6 #include <linux/cpumask.h>
7 #include <linux/irqreturn.h>
8 #include <linux/threads.h>
12 void __init
setup_smp(void);
14 void __init
setup_smp_ipi(void);
16 void arch_send_call_function_ipi_mask(struct cpumask
*mask
);
18 void arch_send_call_function_single_ipi(int cpu
);
20 void __init
set_send_ipi(void (*func
)(const struct cpumask
*mask
), int irq
);
22 #define raw_smp_processor_id() (current_thread_info()->cpu)
24 int __cpu_disable(void);
26 void __cpu_die(unsigned int cpu
);
28 #endif /* CONFIG_SMP */
30 #endif /* __ASM_CSKY_SMP_H */