Symbol: sxitimer_startclock
sys/arch/riscv64/dev/sxitimer.c
117
cpu_startclock_fcn = sxitimer_startclock;
sys/arch/riscv64/dev/sxitimer.c
73
void sxitimer_startclock(void);