1// SPDX-License-Identifier: GPL-2.0
 2/*
 3 * Copyright (C) 2012 Regents of the University of California
 4 * Copyright (C) 2017 SiFive
 5 * Copyright (C) 2018 Christoph Hellwig
 6 */
 7
 8#include <linux/interrupt.h>
 9#include <linux/irqchip.h>
10#include <linux/seq_file.h>
11#include <asm/smp.h>
12
13int arch_show_interrupts(struct seq_file *p, int prec)
14{
15	show_ipi_stats(p, prec);
16	return 0;
17}
18
19void __init init_IRQ(void)
20{
21	irqchip_init();
22	if (!handle_arch_irq)
23		panic("No interrupt controller found.");
24}