drivers/irqchip/Kconfig

   1 config VERSATILE_FPGA_IRQ
   2         bool
   3         select IRQ_DOMAIN
   4
   5 config VERSATILE_FPGA_IRQ_NR
   6        int
   7        default 4
   8        depends on VERSATILE_FPGA_IRQ