agtimer_set_clockrate
agtimer_set_clockrate(agtimer_frequency);
void agtimer_set_clockrate(int32_t new_frequency);
agtimer_set_clockrate(agtimer_frequency);
void agtimer_set_clockrate(int32_t new_frequency);