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
31unsigned long irq_err_count;
32
33int 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
40void (*handle_arch_irq)(struct pt_regs *) = NULL;
41
42void __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
50void __init init_IRQ(void)
51{
52	irqchip_init();
53	if (!handle_arch_irq)
54		panic("No interrupt controller found.");
55}
56