162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */
262306a36Sopenharmony_ci/*
362306a36Sopenharmony_ci * Copyright (C) 2006 Atmark Techno, Inc.
462306a36Sopenharmony_ci */
562306a36Sopenharmony_ci
662306a36Sopenharmony_ci#ifndef _ASM_MICROBLAZE_IRQ_H
762306a36Sopenharmony_ci#define _ASM_MICROBLAZE_IRQ_H
862306a36Sopenharmony_ci
962306a36Sopenharmony_ci#include <asm-generic/irq.h>
1062306a36Sopenharmony_ci
1162306a36Sopenharmony_cistruct pt_regs;
1262306a36Sopenharmony_ciextern void do_IRQ(struct pt_regs *regs);
1362306a36Sopenharmony_ci
1462306a36Sopenharmony_ci#endif /* _ASM_MICROBLAZE_IRQ_H */
15