pmc_cpu_max_active
KASSERT(pmc_pmcdisp[(R)] >= (-pmc_cpu_max_active()), \
int pmc_cpu_max_active(void);