Symbol: sxitimer_intr
sys/arch/riscv64/dev/sxitimer.c
120
sxitimer_intr, NULL, sc->sc_dev.dv_xname);
sys/arch/riscv64/dev/sxitimer.c
74
int sxitimer_intr(void *);