1 /* SPDX-License-Identifier: GPL-2.0 */
2 /*
3  * Copyright (C) 2006 Atmark Techno, Inc.
4  */
5 
6 #ifndef _ASM_MICROBLAZE_IRQ_H
7 #define _ASM_MICROBLAZE_IRQ_H
8 
9 #include <asm-generic/irq.h>
10 
11 struct pt_regs;
12 extern void do_IRQ(struct pt_regs *regs);
13 
14 #endif /* _ASM_MICROBLAZE_IRQ_H */
15