POWERPC_MAX_PMC_VALUE
p = MIN(powerpc_pmcn_read(ri), POWERPC_MAX_PMC_VALUE);
if (r > POWERPC_MAX_PMC_VALUE || p + r <= POWERPC_MAX_PMC_VALUE)
tmp = p + (POWERPC_MAX_PMC_VALUE + 1) * PPC_OVERFLOWCNT(pm);
PPC_OVERFLOWCNT(pm) = v / (POWERPC_MAX_PMC_VALUE + 1);
vlo = v % (POWERPC_MAX_PMC_VALUE + 1);
} else if (v > POWERPC_MAX_PMC_VALUE) {