/drivers/pmdomain/riscv/

• ../
• Kconfig
• Makefile
• riscv-rpmi-device-power.c