kernelconfig_penguin
selects
CONFIG_IRQ_DOMAIN
CONFIG_GENERIC_IRQ_MULTI_HANDLER
CONFIG_SPARSE_IRQ


CONFIG_FARADAY_FTINTC010 (not configurable)

modulename: irq-ftintc010.ko
configname: CONFIG_FARADAY_FTINTC010

Linux Kernel Configuration
└─> Device Drivers
└─> IRQ chip support
└─> FARADAY_FTINTC010


source code:


drivers/irqchip/irq-ftintc010.c