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 10void __init arch_init_irq(void) 11{ 12 irqchip_init(); 13} 14