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
In linux kernel since version 6.12.57 (release Date: 2025-11-02)  
source code:
drivers/irqchip/irq-riscv-rpmi-sysmsi.c
selects
CONFIG_IRQ_DOMAIN_HIERARCHY
CONFIG_GENERIC_MSI_IRQ