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
12void __init setup_smp(void);
13
14void __init setup_smp_ipi(void);
15
16void arch_send_call_function_ipi_mask(struct cpumask *mask);
17
18void arch_send_call_function_single_ipi(int cpu);
19
20void __init set_send_ipi(void (*func)(const struct cpumask *mask), int irq);
21
22#define raw_smp_processor_id()	(current_thread_info()->cpu)
23
24int __cpu_disable(void);
25
26void __cpu_die(unsigned int cpu);
27
28#endif /* CONFIG_SMP */
29
30#endif /* __ASM_CSKY_SMP_H */