/* SPDX-License-Identifier: GPL-2.0 */ | |
/* | |
* Copyright (C) 2006 Atmark Techno, Inc. | |
*/ | |
#ifndef _ASM_MICROBLAZE_IRQ_H | |
#define _ASM_MICROBLAZE_IRQ_H | |
#include <asm-generic/irq.h> | |
struct pt_regs; | |
extern void do_IRQ(struct pt_regs *regs); | |
#endif /* _ASM_MICROBLAZE_IRQ_H */ |