1 /* SPDX-License-Identifier: GPL-2.0 */ 2 /* hardirq.h: 64-bit Sparc hard IRQ support. 3 * 4 * Copyright (C) 1997, 1998, 2005 David S. Miller (davem@davemloft.net) 5 */ 6 7 #ifndef __SPARC64_HARDIRQ_H 8 #define __SPARC64_HARDIRQ_H 9 10 #include <asm/cpudata.h> 11 12 #define __ARCH_IRQ_STAT 13 #define local_softirq_pending() \ 14 (local_cpu_data().__softirq_pending) 15 16 void ack_bad_irq(unsigned int irq); 17 18 #endif /* !(__SPARC64_HARDIRQ_H) */ 19