1/*
2 * Copyright (C) 2012 ARM Ltd.
3 *
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License version 2 as
6 * published by the Free Software Foundation.
7 *
8 * This program is distributed in the hope that it will be useful,
9 * but WITHOUT ANY WARRANTY; without even the implied warranty of
10 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
11 * GNU General Public License for more details.
12 *
13 * You should have received a copy of the GNU General Public License
14 * along with this program.  If not, see <http://www.gnu.org/licenses/>.
15 */
16#ifndef __ASM_HARDIRQ_H
17#define __ASM_HARDIRQ_H
18
19#include <linux/cache.h>
20#include <linux/threads.h>
21#include <asm/irq.h>
22
23#define NR_IPI	5
24
25typedef struct {
26	unsigned int __softirq_pending;
27#ifdef CONFIG_SMP
28	unsigned int ipi_irqs[NR_IPI];
29#endif
30} ____cacheline_aligned irq_cpustat_t;
31
32#include <linux/irq_cpustat.h>	/* Standard mappings for irq_cpustat_t above */
33
34#define __inc_irq_stat(cpu, member)	__IRQ_STAT(cpu, member)++
35#define __get_irq_stat(cpu, member)	__IRQ_STAT(cpu, member)
36
37#ifdef CONFIG_SMP
38u64 smp_irq_stat_cpu(unsigned int cpu);
39#define arch_irq_stat_cpu	smp_irq_stat_cpu
40#endif
41
42#define __ARCH_IRQ_EXIT_IRQS_DISABLED	1
43
44static inline void ack_bad_irq(unsigned int irq)
45{
46	extern unsigned long irq_err_count;
47	irq_err_count++;
48}
49
50/*
51 * No arch-specific IRQ flags.
52 */
53#define set_irq_flags(irq, flags)
54
55#endif /* __ASM_HARDIRQ_H */
56