CONFIG_SUN4I_INTC (not configurable)

modulename: irq-sun4i.ko

configname: CONFIG_SUN4I_INTC

Linux Kernel Configuration
└─>Device Drivers
└─>IRQ chip support
└─>SUN4I_INTC
In linux kernel since version 5.2 (release Date: 2019-07-07)  
source code:
drivers/irqchip/irq-sun4i.c