1 // SPDX-License-Identifier: GPL-2.0
2 // Copyright (C) 2018 Hangzhou C-SKY Microsystems co.,ltd.
4 #include <linux/init.h>
5 #include <linux/interrupt.h>
7 #include <linux/irqchip.h>
11 void __init
init_IRQ(void)
19 asmlinkage
void __irq_entry
csky_do_IRQ(struct pt_regs
*regs
)
21 handle_arch_irq(regs
);