root/include/linux/irqchip/versatile-fpga.h

#ifndef PLAT_FPGA_IRQ_H
#define PLAT_FPGA_IRQ_H

struct device_node;
struct pt_regs;

void fpga_handle_irq(struct pt_regs *regs);
void fpga_irq_init(void __iomem *, const char *, int, int, u32,
                struct device_node *node);
int fpga_irq_of_init(struct device_node *node,
                     struct device_node *parent);

#endif