CONFIG_MADERA_IRQ (not configurable)

modulename: irq-madera.ko

configname: CONFIG_MADERA_IRQ

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