1 /* SPDX-License-Identifier: GPL-2.0 */
2 
3 #ifndef __ASM_CSKY_SMP_H
4 #define __ASM_CSKY_SMP_H
5 
6 #include <linux/cpumask.h>
7 #include <linux/irqreturn.h>
8 #include <linux/threads.h>
9 
10 #ifdef CONFIG_SMP
11 
12 void __init setup_smp(void);
13 
14 void __init setup_smp_ipi(void);
15 
16 void arch_send_call_function_ipi_mask(struct cpumask *mask);
17 
18 void arch_send_call_function_single_ipi(int cpu);
19 
20 void __init set_send_ipi(void (*func)(const struct cpumask *mask), int irq);
21 
22 #define raw_smp_processor_id()	(current_thread_info()->cpu)
23 
24 int __cpu_disable(void);
25 
26 void __cpu_die(unsigned int cpu);
27 
28 #endif /* CONFIG_SMP */
29 
30 #endif /* __ASM_CSKY_SMP_H */
31