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