| /* SPDX-License-Identifier: GPL-2.0 */ | |
| /* hardirq.h: 64-bit Sparc hard IRQ support. | |
| * | |
| * Copyright (C) 1997, 1998, 2005 David S. Miller (davem@davemloft.net) | |
| */ | |
| #ifndef __SPARC64_HARDIRQ_H | |
| #define __SPARC64_HARDIRQ_H | |
| #include <asm/cpudata.h> | |
| #define __ARCH_IRQ_STAT | |
| #define local_softirq_pending_ref \ | |
| __cpu_data.__softirq_pending | |
| void ack_bad_irq(unsigned int irq); | |
| #endif /* !(__SPARC64_HARDIRQ_H) */ |