IAF_RI_TO_MSR
error, (uintmax_t) v, (uintmax_t) rdpmc(IAF_RI_TO_MSR(n)));
*msr = IAF_RI_TO_MSR(ri);
tmp = rdpmc(IAF_RI_TO_MSR(ri));
IAF_RI_TO_MSR(ri), *v);
"pmc=%jx", cpu, ri, IAF_RI_TO_MSR(ri), v,
(uintmax_t) rdpmc(IAF_RI_TO_MSR(ri)));