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
23extern void __iomem *ipi_base_addr;
24
25void ack_bad_irq(unsigned int irq);
26
27#endif /* _ASM_IA64_HARDIRQ_H */