Symbol: sxitimer_delay
sys/arch/armv7/sunxi/sxitimer.c
193
arm_clock_register(sxitimer_cpu_initclocks, sxitimer_delay,
sys/arch/armv7/sunxi/sxitimer.c
84
void sxitimer_delay(u_int);