CONFIG_RISCV_INTC (not configurable)
modulename: irq-riscv-intc.ko
configname: CONFIG_RISCV_INTC
Linux Kernel Configuration
└─>Device Drivers
└─>IRQ chip support
└─>RISCV_INTC
