pmc_read_counter
pmc->counter = pmc_read_counter(pmc);
pmc->counter += val - pmc_read_counter(pmc);
*data = pmc_read_counter(pmc) & mask;
msr_info->data = pmc_read_counter(pmc);
u64 val = pmc_read_counter(pmc);
u64 val = pmc_read_counter(pmc);