CONFIG_TI_SCI_INTR_IRQCHIP (not configurable)

modulename: irq-ti-sci-intr.ko

configname: CONFIG_TI_SCI_INTR_IRQCHIP

Linux Kernel Configuration
└─>Device Drivers
└─>IRQ chip support
└─>TI_SCI_INTR_IRQCHIP
In linux kernel since version 5.1 (release Date: 2019-05-05)  
This enables the irqchip driver support for K3 Interrupt router
over TI System Control Interface available on some new TI's SoCs.
If you wish to use interrupt router irq resources managed by the
TI System Controller, say Y here. Otherwise, say N.

source code:
selects
CONFIG_IRQ_DOMAIN_HIERARCHY