Symbol: et_change_frequency
sys/arm/arm/mpcore_timer.c
490
et_change_frequency(arm_tmr_et, newfreq);
sys/sys/timeet.h
92
void et_change_frequency(struct eventtimer *et, uint64_t newfreq);