irq.c (335B)
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}