2 * Copyright (C) 2012 ARM Ltd.
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.
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.
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/>.
16 #ifndef __ASM_HARDIRQ_H
17 #define __ASM_HARDIRQ_H
19 #include <linux/cache.h>
20 #include <linux/threads.h>
26 unsigned int __softirq_pending
;
28 unsigned int ipi_irqs
[NR_IPI
];
30 } ____cacheline_aligned irq_cpustat_t
;
32 #include <linux/irq_cpustat.h> /* Standard mappings for irq_cpustat_t above */
34 #define __inc_irq_stat(cpu, member) __IRQ_STAT(cpu, member)++
35 #define __get_irq_stat(cpu, member) __IRQ_STAT(cpu, member)
38 u64
smp_irq_stat_cpu(unsigned int cpu
);
39 #define arch_irq_stat_cpu smp_irq_stat_cpu
42 #define __ARCH_IRQ_EXIT_IRQS_DISABLED 1
44 static inline void ack_bad_irq(unsigned int irq
)
46 extern unsigned long irq_err_count
;
50 extern void handle_IRQ(unsigned int, struct pt_regs
*);
53 * No arch-specific IRQ flags.
55 #define set_irq_flags(irq, flags)
57 #endif /* __ASM_HARDIRQ_H */