PPC_OVERFLOWCNT
tmp = p + (POWERPC_MAX_PMC_VALUE + 1) * PPC_OVERFLOWCNT(pm);
cpu, ri, (uintmax_t)tmp, (uintmax_t)PPC_OVERFLOWCNT(pm),
PPC_OVERFLOWCNT(pm) = v / (POWERPC_MAX_PMC_VALUE + 1);
cpu, ri, (uintmax_t)v, (uintmax_t)PPC_OVERFLOWCNT(pm),
PPC_OVERFLOWCNT(pm) = (PPC_OVERFLOWCNT(pm) +
cpu, i, PPC_OVERFLOWCNT(pm));