CONFIG_VERSATILE_FPGA_IRQ (not configurable)

modulename: irq-versatile-fpga.ko

configname: CONFIG_VERSATILE_FPGA_IRQ

Linux Kernel Configuration
└─>Device Drivers
└─>IRQ chip support
└─>VERSATILE_FPGA_IRQ
In linux kernel since version 3.1 (release Date: 2011-10-24)  
source code:
drivers/irqchip/irq-versatile-fpga.c
selects
CONFIG_IRQ_DOMAIN