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