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