Symbol: pmc_read_counter