irq.c (492B)
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}