xref: /linux/drivers/irqchip/Kconfig (revision 4c62e9764ab403d42f9b8871b1241fe7812f19d4)
1config VERSATILE_FPGA_IRQ
2	bool
3	select IRQ_DOMAIN
4
5config VERSATILE_FPGA_IRQ_NR
6       int
7       default 4
8       depends on VERSATILE_FPGA_IRQ
9