in RISC-V_RV32_THEAD_SMART_CDS/csi_core/include/csi_rv32_gcc.h [837:858]
__STATIC_INLINE uint32_t __get_PMPADDRx(uint32_t idx)
{
switch (idx) {
case 0: return __get_PMPADDR0();
case 1: return __get_PMPADDR1();
case 2: return __get_PMPADDR2();
case 3: return __get_PMPADDR3();
case 4: return __get_PMPADDR4();
case 5: return __get_PMPADDR5();
case 6: return __get_PMPADDR6();
case 7: return __get_PMPADDR7();
case 8: return __get_PMPADDR8();
case 9: return __get_PMPADDR9();
case 10: return __get_PMPADDR10();
case 11: return __get_PMPADDR11();
case 12: return __get_PMPADDR12();
case 13: return __get_PMPADDR13();
case 14: return __get_PMPADDR14();
case 15: return __get_PMPADDR15();
default: return 0;
}
}