/* SPDX-License-Identifier: GPL-2.0 */
|
|
#ifndef __ASM_CSKY_SMP_H
|
#define __ASM_CSKY_SMP_H
|
|
#include <linux/cpumask.h>
|
#include <linux/irqreturn.h>
|
#include <linux/threads.h>
|
|
#ifdef CONFIG_SMP
|
|
void __init setup_smp(void);
|
|
void __init setup_smp_ipi(void);
|
|
void arch_send_call_function_ipi_mask(struct cpumask *mask);
|
|
void arch_send_call_function_single_ipi(int cpu);
|
|
void __init set_send_ipi(void (*func)(const struct cpumask *mask), int irq);
|
|
#define raw_smp_processor_id() (current_thread_info()->cpu)
|
|
int __cpu_disable(void);
|
|
void __cpu_die(unsigned int cpu);
|
|
#endif /* CONFIG_SMP */
|
|
#endif /* __ASM_CSKY_SMP_H */
|
