Symbol: sxitimer_setstatclockrate
sys/arch/armv7/sunxi/sxitimer.c
194
sxitimer_setstatclockrate, sxitimer_cpu_startclock);
sys/arch/armv7/sunxi/sxitimer.c
80
void sxitimer_setstatclockrate(int);