1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef __ASM_HARDIRQ_H
 3#define __ASM_HARDIRQ_H
 4
 5#include <asm/irq.h>
 6
 7#define __ARCH_IRQ_EXIT_IRQS_DISABLED	1
 8#define ack_bad_irq ack_bad_irq
 9
10#include <asm-generic/hardirq.h>
11
12#endif /* __ASM_HARDIRQ_H */

 1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef __ASM_HARDIRQ_H
 3#define __ASM_HARDIRQ_H
 4
 5#include <asm/irq.h>
 6
 7#define __ARCH_IRQ_EXIT_IRQS_DISABLED	1
 8#define ack_bad_irq ack_bad_irq
 9
10#include <asm-generic/hardirq.h>
11
12#endif /* __ASM_HARDIRQ_H */