1 /* 2 * Based on arch/arm/kernel/irq.c 3 * 4 * Copyright (C) 1992 Linus Torvalds 5 * Modifications for ARM processor Copyright (C) 1995-2000 Russell King. 6 * Support for Dynamic Tick Timer Copyright (C) 2004-2005 Nokia Corporation. 7 * Dynamic Tick Timer written by Tony Lindgren <tony@atomide.com> and 8 * Tuukka Tikkanen <tuukka.tikkanen@elektrobit.com>. 9 * Copyright (C) 2012 ARM Ltd. 10 * 11 * This program is free software; you can redistribute it and/or modify 12 * it under the terms of the GNU General Public License version 2 as 13 * published by the Free Software Foundation. 14 * 15 * This program is distributed in the hope that it will be useful, 16 * but WITHOUT ANY WARRANTY; without even the implied warranty of 17 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 18 * GNU General Public License for more details. 19 * 20 * You should have received a copy of the GNU General Public License 21 * along with this program. If not, see <http://www.gnu.org/licenses/>. 22 */ 23 24 #include <linux/kernel_stat.h> 25 #include <linux/irq.h> 26 #include <linux/smp.h> 27 #include <linux/init.h> 28 #include <linux/irqchip.h> 29 #include <linux/seq_file.h> 30 31 unsigned long irq_err_count; 32 33 int arch_show_interrupts(struct seq_file *p, int prec) 34 { 35 show_ipi_list(p, prec); 36 seq_printf(p, "%*s: %10lu\n", prec, "Err", irq_err_count); 37 return 0; 38 } 39 40 void (*handle_arch_irq)(struct pt_regs *) = NULL; 41 42 void __init set_handle_irq(void (*handle_irq)(struct pt_regs *)) 43 { 44 if (handle_arch_irq) 45 return; 46 47 handle_arch_irq = handle_irq; 48 } 49 50 void __init init_IRQ(void) 51 { 52 irqchip_init(); 53 if (!handle_arch_irq) 54 panic("No interrupt controller found."); 55 } 56