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