include/linux/irqchip/versatile-fpga.h

   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