RISCV_MAX_PMU_COUNTERS
GUEST_ASSERT(ret.value < RISCV_MAX_PMU_COUNTERS);
__GUEST_ASSERT(ret.value < RISCV_MAX_PMU_COUNTERS,
union sbi_pmu_ctr_info ctrinfo_arr[RISCV_MAX_PMU_COUNTERS];
memset(ctrinfo_arr, 0, sizeof(union sbi_pmu_ctr_info) * RISCV_MAX_PMU_COUNTERS);