162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */ 262306a36Sopenharmony_ci#ifndef _ALPHA_HARDIRQ_H 362306a36Sopenharmony_ci#define _ALPHA_HARDIRQ_H 462306a36Sopenharmony_ci 562306a36Sopenharmony_civoid ack_bad_irq(unsigned int irq); 662306a36Sopenharmony_ci#define ack_bad_irq ack_bad_irq 762306a36Sopenharmony_ci 862306a36Sopenharmony_ci#include <asm-generic/hardirq.h> 962306a36Sopenharmony_ci 1062306a36Sopenharmony_ci#endif /* _ALPHA_HARDIRQ_H */ 11