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
11void __init init_IRQ(void)
12{
13	irqchip_init();
14#ifdef CONFIG_SMP
15	setup_smp_ipi();
16#endif
17}