amptimer_set_clockrate
void amptimer_set_clockrate(int32_t new_frequency);
amptimer_set_clockrate(amptimer_frequency);
void amptimer_set_clockrate(int32_t new_frequency); /* XXX */
amptimer_set_clockrate(mvacc_get_frequency(sc, &idx));
void amptimer_set_clockrate(int32_t new_frequency); /* XXX */
amptimer_set_clockrate(newclockrate);