ppm_revert_cpu_power
extern int ppm_revert_cpu_power(ppm_dev_t *, int);
ret = ppm_revert_cpu_power(cpup, oldlevel);
ret = ppm_revert_cpu_power(cpup, level - incr);
(void) ppm_revert_cpu_power(cpup, level - incr);
(void) ppm_revert_cpu_power(cpup, level - incr);
(void) ppm_revert_cpu_power(cpup, level - incr);