1 // SPDX-License-Identifier: GPL-2.0-only
3 * Joshua Henderson <joshua.henderson@microchip.com>
4 * Copyright (C) 2015 Microchip Technology Inc. All rights reserved.
6 #include <linux/init.h>
7 #include <linux/irqchip.h>
10 void __init
arch_init_irq(void)