CONFIG_RDA_INTC (not configurable)

modulename: irq-rda-intc.ko

configname: CONFIG_RDA_INTC

Linux Kernel Configuration
└─>Device Drivers
└─>IRQ chip support
└─>RDA_INTC
In linux kernel since version 5 (release Date: 2019-03-03)  
source code:
drivers/irqchip/irq-rda-intc.c
selects
CONFIG_IRQ_DOMAIN

is depended by
CONFIG_ARCH_RDA