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 
arch_show_interrupts(struct seq_file * p,int prec)13 int arch_show_interrupts(struct seq_file *p, int prec)
14 {
15 	show_ipi_stats(p, prec);
16 	return 0;
17 }
18 
init_IRQ(void)19 void __init init_IRQ(void)
20 {
21 	irqchip_init();
22 	if (!handle_arch_irq)
23 		panic("No interrupt controller found.");
24 }
25