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 7 24 25typedef struct { 26 unsigned int __softirq_pending; 27 unsigned int ipi_irqs[NR_IPI]; 28} ____cacheline_aligned irq_cpustat_t; 29 30#include <linux/irq_cpustat.h> /* Standard mappings for irq_cpustat_t above */ 31 32#define __inc_irq_stat(cpu, member) __IRQ_STAT(cpu, member)++ 33#define __get_irq_stat(cpu, member) __IRQ_STAT(cpu, member) 34 35u64 smp_irq_stat_cpu(unsigned int cpu); 36#define arch_irq_stat_cpu smp_irq_stat_cpu 37 38#define __ARCH_IRQ_EXIT_IRQS_DISABLED 1 39 40static inline void ack_bad_irq(unsigned int irq) 41{ 42 extern unsigned long irq_err_count; 43 irq_err_count++; 44} 45 46#endif /* __ASM_HARDIRQ_H */ 47