CONFIG_RISCV_RPMI_SYSMSI (not configurable)

modulename: irq-riscv-rpmi-sysmsi.ko

configname: CONFIG_RISCV_RPMI_SYSMSI

Linux Kernel Configuration
└─>Device Drivers
└─>IRQ chip support
└─>Mailbox Hardware Support
└─>RISCV_RPMI_SYSMSI
source code:
drivers/irqchip/irq-riscv-rpmi-sysmsi.c
selects
CONFIG_IRQ_DOMAIN_HIERARCHY
CONFIG_GENERIC_MSI_IRQ