in RISC-V_RV32_THEAD_SMART_CDS/csi_core/include/csi_rv32_gcc.h [951:972]
__STATIC_INLINE void __set_PMPADDRx(uint32_t idx, uint32_t pmpaddr)
{
switch (idx) {
case 0: __set_PMPADDR0(pmpaddr); break;
case 1: __set_PMPADDR1(pmpaddr); break;
case 2: __set_PMPADDR2(pmpaddr); break;
case 3: __set_PMPADDR3(pmpaddr); break;
case 4: __set_PMPADDR4(pmpaddr); break;
case 5: __set_PMPADDR5(pmpaddr); break;
case 6: __set_PMPADDR6(pmpaddr); break;
case 7: __set_PMPADDR7(pmpaddr); break;
case 8: __set_PMPADDR8(pmpaddr); break;
case 9: __set_PMPADDR9(pmpaddr); break;
case 10: __set_PMPADDR10(pmpaddr); break;
case 11: __set_PMPADDR11(pmpaddr); break;
case 12: __set_PMPADDR12(pmpaddr); break;
case 13: __set_PMPADDR13(pmpaddr); break;
case 14: __set_PMPADDR14(pmpaddr); break;
case 15: __set_PMPADDR15(pmpaddr); break;
default: return;
}
}