License cleanup: add SPDX GPL-2.0 license identifier to files with no license

[mirror_ubuntu-disco-kernel.git] / arch / alpha / include / asm / hardirq.h

/* SPDX-License-Identifier: GPL-2.0 */
#ifndef _ALPHA_HARDIRQ_H
#define _ALPHA_HARDIRQ_H

void ack_bad_irq(unsigned int irq);
#define ack_bad_irq ack_bad_irq

#include <asm-generic/hardirq.h>

#endif /* _ALPHA_HARDIRQ_H */