1/* SPDX-License-Identifier: GPL-2.0-only */
2/*
3 *  Port on Texas Instruments TMS320C6x architecture
4 *
5 *  Copyright (C) 2004, 2009, 2010 Texas Instruments Incorporated
6 *  Author: Aurelien Jacquiot (aurelien.jacquiot@jaluna.com)
7 */
8
9#ifndef _ASM_C6X_HARDIRQ_H
10#define _ASM_C6X_HARDIRQ_H
11
12extern void ack_bad_irq(int irq);
13#define ack_bad_irq ack_bad_irq
14
15#include <asm-generic/hardirq.h>
16
17#endif /* _ASM_C6X_HARDIRQ_H */
18