18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */ 28c2ecf20Sopenharmony_ci#ifndef _ALPHA_HARDIRQ_H 38c2ecf20Sopenharmony_ci#define _ALPHA_HARDIRQ_H 48c2ecf20Sopenharmony_ci 58c2ecf20Sopenharmony_civoid ack_bad_irq(unsigned int irq); 68c2ecf20Sopenharmony_ci#define ack_bad_irq ack_bad_irq 78c2ecf20Sopenharmony_ci 88c2ecf20Sopenharmony_ci#include <asm-generic/hardirq.h> 98c2ecf20Sopenharmony_ci 108c2ecf20Sopenharmony_ci#endif /* _ALPHA_HARDIRQ_H */ 11