pmc_width
int pmc_width(pmc_id_t _pmc, uint32_t *_width);
ATF_REQUIRE(pmc_width(pmcid, &width) == 0);
(void) pmc_width(ev->ev_pmcid, &counter_width);