2 * Based on arch/arm/kernel/irq.c
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.
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.
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.
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/>.
24 #include <linux/kernel_stat.h>
25 #include <linux/irq.h>
26 #include <linux/memory.h>
27 #include <linux/smp.h>
28 #include <linux/init.h>
29 #include <linux/irqchip.h>
30 #include <linux/seq_file.h>
31 #include <linux/vmalloc.h>
32 #include <asm/vmap_stack.h>
34 unsigned long irq_err_count
;
36 /* Only access this in an NMI enter/exit */
37 DEFINE_PER_CPU(struct nmi_ctx
, nmi_contexts
);
39 DEFINE_PER_CPU(unsigned long *, irq_stack_ptr
);
41 int arch_show_interrupts(struct seq_file
*p
, int prec
)
43 show_ipi_list(p
, prec
);
44 seq_printf(p
, "%*s: %10lu\n", prec
, "Err", irq_err_count
);
48 #ifdef CONFIG_VMAP_STACK
49 static void init_irq_stacks(void)
54 for_each_possible_cpu(cpu
) {
55 p
= arch_alloc_vmap_stack(IRQ_STACK_SIZE
, cpu_to_node(cpu
));
56 per_cpu(irq_stack_ptr
, cpu
) = p
;
60 /* irq stack only needs to be 16 byte aligned - not IRQ_STACK_SIZE aligned. */
61 DEFINE_PER_CPU_ALIGNED(unsigned long [IRQ_STACK_SIZE
/sizeof(long)], irq_stack
);
63 static void init_irq_stacks(void)
67 for_each_possible_cpu(cpu
)
68 per_cpu(irq_stack_ptr
, cpu
) = per_cpu(irq_stack
, cpu
);
72 void __init
init_IRQ(void)
77 panic("No interrupt controller found.");