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