18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0-only */
28c2ecf20Sopenharmony_ci/*
38c2ecf20Sopenharmony_ci *  Port on Texas Instruments TMS320C6x architecture
48c2ecf20Sopenharmony_ci *
58c2ecf20Sopenharmony_ci *  Copyright (C) 2004, 2009, 2010 Texas Instruments Incorporated
68c2ecf20Sopenharmony_ci *  Author: Aurelien Jacquiot (aurelien.jacquiot@jaluna.com)
78c2ecf20Sopenharmony_ci */
88c2ecf20Sopenharmony_ci
98c2ecf20Sopenharmony_ci#ifndef _ASM_C6X_HARDIRQ_H
108c2ecf20Sopenharmony_ci#define _ASM_C6X_HARDIRQ_H
118c2ecf20Sopenharmony_ci
128c2ecf20Sopenharmony_ciextern void ack_bad_irq(int irq);
138c2ecf20Sopenharmony_ci#define ack_bad_irq ack_bad_irq
148c2ecf20Sopenharmony_ci
158c2ecf20Sopenharmony_ci#include <asm-generic/hardirq.h>
168c2ecf20Sopenharmony_ci
178c2ecf20Sopenharmony_ci#endif /* _ASM_C6X_HARDIRQ_H */
18