pmc_pmu_print_counter_desc
void pmc_pmu_print_counter_desc(const char *);
pmc_pmu_print_counter_desc(argv[0]);
pmc_pmu_print_counter_desc(event);