/* SPDX-License-Identifier: GPL-2.0-only */ /* * Port on Texas Instruments TMS320C6x architecture * * Copyright (C) 2004, 2009, 2010 Texas Instruments Incorporated * Author: Aurelien Jacquiot (aurelien.jacquiot@jaluna.com) */ #ifndef _ASM_C6X_HARDIRQ_H #define _ASM_C6X_HARDIRQ_H extern void ack_bad_irq(int irq); #define ack_bad_irq ack_bad_irq #include <asm-generic/hardirq.h> #endif /* _ASM_C6X_HARDIRQ_H */