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