HMA_CPC_REGS_MAX
CTASSERT(SVM_PMU_MAX_COUNTERS == HMA_CPC_REGS_MAX);
hma_cpc_t hscs_regs[HMA_CPC_REGS_MAX];