CONFIG_SUNXI_NMI_INTC (not configurable)

modulename: irq-sunxi-nmi.ko

configname: CONFIG_SUNXI_NMI_INTC

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