pic32/common/irq.c

0001 // SPDX-License-Identifier: GPL-2.0-only
0002 /*
0003  * Joshua Henderson <joshua.henderson@microchip.com>
0004  * Copyright (C) 2015 Microchip Technology Inc.  All rights reserved.
0005  */
0006 #include <linux/init.h>
0007 #include <linux/irqchip.h>
0008 #include <asm/irq.h>
0009
0010 void __init arch_init_irq(void)
0011 {
0012     irqchip_init();
0013 }