Symbol: gptimer_setstatclockrate
sys/arch/armv7/omap/gptimer.c
105
void gptimer_setstatclockrate(int newhz);
sys/arch/armv7/omap/gptimer.c
180
gptimer_setstatclockrate, gptimer_cpu_startclock);