1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef _ASM_IA64_HARDIRQ_H 3 #define _ASM_IA64_HARDIRQ_H 4 5 /* 6 * Modified 1998-2002, 2004 Hewlett-Packard Co 7 * David Mosberger-Tang <davidm@hpl.hp.com> 8 */ 9 10 /* 11 * No irq_cpustat_t for IA-64. The data is held in the per-CPU data structure. 12 */ 13 14 #define __ARCH_IRQ_STAT 1 15 16 #define local_softirq_pending_ref ia64_cpu_info.softirq_pending 17 18 #include <linux/threads.h> 19 #include <linux/irq.h> 20 21 #include <asm/processor.h> 22 23 extern void __iomem *ipi_base_addr; 24 25 void ack_bad_irq(unsigned int irq); 26 27 #endif /* _ASM_IA64_HARDIRQ_H */ 28