kernelconfig_penguin
selects
CONFIG_IRQ_DOMAIN

is depended by
CONFIG_ARCH_RDA

CONFIG_RDA_INTC (not configurable)

modulename: irq-rda-intc.ko
configname: CONFIG_RDA_INTC

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


source code:


drivers/irqchip/irq-rda-intc.c