| /* 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); | |
| /* should be defined in each interrupt controller driver */ | |
| extern unsigned int xintc_get_irq(void); | |
| #endif /* _ASM_MICROBLAZE_IRQ_H */ |