/* 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>structpt_regs;externvoiddo_IRQ(structpt_regs*regs);/* should be defined in each interrupt controller driver */externunsignedintxintc_get_irq(void);#endif /* _ASM_MICROBLAZE_IRQ_H */