1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef _ALPHA_HARDIRQ_H
 3#define _ALPHA_HARDIRQ_H
 4
 5void ack_bad_irq(unsigned int irq);
 6#define ack_bad_irq ack_bad_irq
 7
 8#include <asm-generic/hardirq.h>
 9
10#endif /* _ALPHA_HARDIRQ_H */