native_read_pmc
return native_read_pmc(counter);
.cpu.read_pmc = native_read_pmc,
return native_read_pmc(pmc);