pmc_pmu_print_counter_full
void pmc_pmu_print_counter_full(const char *);
pmc_pmu_print_counter_full(argc ? argv[0] : NULL);