1 // SPDX-License-Identifier: GPL-2.0-only 2 /* 3 * Joshua Henderson <joshua.henderson@microchip.com> 4 * Copyright (C) 2015 Microchip Technology Inc. All rights reserved. 5 */ 6 #include <linux/init.h> 7 #include <linux/irqchip.h> 8 #include <asm/irq.h> 9 10 void __init arch_init_irq(void) 11 { 12 irqchip_init(); 13 }