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