1/* SPDX-License-Identifier: GPL-2.0 */ 2#ifndef PLAT_FPGA_IRQ_H 3#define PLAT_FPGA_IRQ_H 4 5struct device_node; 6struct pt_regs; 7 8void fpga_handle_irq(struct pt_regs *regs); 9void fpga_irq_init(void __iomem *, const char *, int, int, u32, 10 struct device_node *node); 11int fpga_irq_of_init(struct device_node *node, 12 struct device_node *parent); 13 14#endif 15