arch/nds32/kernel/irq.c

   1 // SPDX-License-Identifier: GPL-2.0
   2 // Copyright (C) 2005-2017 Andes Technology Corporation
   3
   4 #include <linux/irqchip.h>
   5
   6 void __init init_IRQ(void)
   7 {
   8         irqchip_init();
   9 }