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