PMC_PCPU_SAVED
newvalue = PMC_PCPU_SAVED(cpu, ri) =
tmp = newvalue - PMC_PCPU_SAVED(cpu, ri);
newvalue, PMC_PCPU_SAVED(cpu, ri), tmp));