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
;
27 unsigned int ipi_irqs
[NR_IPI
];
28 } ____cacheline_aligned irq_cpustat_t
;
30 #include <linux/irq_cpustat.h> /* Standard mappings for irq_cpustat_t above */
32 #define __inc_irq_stat(cpu, member) __IRQ_STAT(cpu, member)++
33 #define __get_irq_stat(cpu, member) __IRQ_STAT(cpu, member)
35 u64
smp_irq_stat_cpu(unsigned int cpu
);
36 #define arch_irq_stat_cpu smp_irq_stat_cpu
38 #define __ARCH_IRQ_EXIT_IRQS_DISABLED 1
40 static inline void ack_bad_irq(unsigned int irq
)
42 extern unsigned long irq_err_count
;
46 #endif /* __ASM_HARDIRQ_H */