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