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 } 18