csky/kernel/irq.c

0001 // SPDX-License-Identifier: GPL-2.0
0002 // Copyright (C) 2018 Hangzhou C-SKY Microsystems co.,ltd.
0003
0004 #include <linux/init.h>
0005 #include <linux/interrupt.h>
0006 #include <linux/irq.h>
0007 #include <linux/irqchip.h>
0008 #include <asm/traps.h>
0009 #include <asm/smp.h>
0010
0011 void __init init_IRQ(void)
0012 {
0013     irqchip_init();
0014 #ifdef CONFIG_SMP
0015     setup_smp_ipi();
0016 #endif
0017 }