CONFIG_FARADAY_FTINTC010 (not configurable)
modulename: irq-ftintc010.ko
configname: CONFIG_FARADAY_FTINTC010
Linux Kernel Configuration
└─>Device Drivers
└─>IRQ chip support
└─>FARADAY_FTINTC010
