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 /* irq stack only needs to be 16 byte aligned - not IRQ_STACK_SIZE aligned */ 34 DEFINE_PER_CPU(unsigned long [IRQ_STACK_SIZE/sizeof(long)], irq_stack) __aligned(16); 35 36 int arch_show_interrupts(struct seq_file *p, int prec) 37 { 38 show_ipi_list(p, prec); 39 seq_printf(p, "%*s: %10lu\n", prec, "Err", irq_err_count); 40 return 0; 41 } 42 43 void (*handle_arch_irq)(struct pt_regs *) = NULL; 44 45 void __init set_handle_irq(void (*handle_irq)(struct pt_regs *)) 46 { 47 if (handle_arch_irq) 48 return; 49 50 handle_arch_irq = handle_irq; 51 } 52 53 void __init init_IRQ(void) 54 { 55 irqchip_init(); 56 if (!handle_arch_irq) 57 panic("No interrupt controller found."); 58 } 59