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
11struct pt_regs;
12extern void do_IRQ(struct pt_regs *regs);
13
14#endif /* _ASM_MICROBLAZE_IRQ_H */
15