kernelconfig_penguin
selects
CONFIG_IRQ_DOMAIN


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


source code:


drivers/irqchip/irq-versatile-fpga.c