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 static inline void __cpu_die(unsigned int cpu) { }
27
28 #endif /* CONFIG_SMP */
29
30 #endif /* __ASM_CSKY_SMP_H */
31
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.