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