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}