| b.liu | e958203 | 2025-04-17 19:18:16 +0800 | [diff] [blame] | 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 */ |