arch/csky/kernel/irq.c

   1 // SPDX-License-Identifier: GPL-2.0
   2 // Copyright (C) 2018 Hangzhou C-SKY Microsystems co.,ltd.
   3
   4 #include <linux/init.h>
   5 #include <linux/interrupt.h>
   6 #include <linux/irq.h>
   7 #include <linux/irqchip.h>
   8 #include <asm/traps.h>
   9 #include <asm/smp.h>
  10
  11 void __init init_IRQ(void)
  12 {
  13         irqchip_init();
  14 #ifdef CONFIG_SMP
  15         setup_smp_ipi();
  16 #endif
  17 }