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