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
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.