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 12 extern 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 */