SVM_PMU_MAX_COUNTERS
if (ecx >= SVM_PMU_MAX_COUNTERS) {
for (uint_t i = 0; i < SVM_PMU_MAX_COUNTERS; i++) {
for (uint_t i = 0; i < SVM_PMU_MAX_COUNTERS; i++) {
uint64_t spv_evtsel_shadow[SVM_PMU_MAX_COUNTERS];
CTASSERT(SVM_PMU_MAX_COUNTERS == HMA_CPC_REGS_MAX);