SBI_EXT_PMU_NUM_COUNTERS
case SBI_EXT_PMU_NUM_COUNTERS:
ret = sbi_ecall(SBI_EXT_PMU, SBI_EXT_PMU_NUM_COUNTERS, 0, 0, 0, 0, 0, 0);