text: /* 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 */
  