/* 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 */
|
