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