Symbol: sxitimer_tickintr
sys/arch/armv7/sunxi/sxitimer.c
214
sxitimer_tickintr, NULL, "tick");
sys/arch/armv7/sunxi/sxitimer.c
77
int sxitimer_tickintr(void *);