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) */
20