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 4 24 25 typedef 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 38 u64 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 44 static inline void ack_bad_irq(unsigned int irq) 45 { 46 extern unsigned long irq_err_count; 47 irq_err_count++; 48 } 49 50 extern void handle_IRQ(unsigned int, struct pt_regs *); 51 52 #endif /* __ASM_HARDIRQ_H */ 53