cpu_change_speed
xc_one(cpudsp->cpu_id, (xcfunc_t *)cpu_change_speed, \
void cpu_change_speed(uint64_t divisor, uint64_t arg2);