rdpmc
#define AMD_PMC_HAS_OVERFLOWED(pmc) ((rdpmc(pmc) & (1ULL << 47)) == 0)
error, (uintmax_t) v, (uintmax_t) rdpmc(IAF_RI_TO_MSR(n)));
tmp = rdpmc(IAF_RI_TO_MSR(ri));
(uintmax_t) rdpmc(IAF_RI_TO_MSR(ri)));
v = rdpmc(ri);
tmp = rdpmc(ri);