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
14#define local_softirq_pending_ref \
15	__cpu_data.__softirq_pending
16
17void ack_bad_irq(unsigned int irq);
18
19#endif /* !(__SPARC64_HARDIRQ_H) */

 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
16void ack_bad_irq(unsigned int irq);
17
18#endif /* !(__SPARC64_HARDIRQ_H) */