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 */ 31