/* SPDX-License-Identifier: GPL-2.0 */ #ifndef _ASM_IA64_HARDIRQ_H #define _ASM_IA64_HARDIRQ_H /* * Modified 1998-2002, 2004 Hewlett-Packard Co * David Mosberger-Tang <davidm@hpl.hp.com> */ /* * No irq_cpustat_t for IA-64. The data is held in the per-CPU data structure. */ #define __ARCH_IRQ_STAT 1 #define local_softirq_pending_ref ia64_cpu_info.softirq_pending #include <linux/threads.h> #include <linux/irq.h> #include <asm/processor.h> extern void __iomem *ipi_base_addr; void ack_bad_irq(unsigned int irq); #endif /* _ASM_IA64_HARDIRQ_H */