Symbol: sxitimer_trigger
sys/arch/armv7/sunxi/sxitimer.c
343
sxitimer_trigger(void *unused)
sys/arch/riscv64/dev/sxitimer.c
170
sxitimer_trigger(void *cookie)