Symbol: sbi_set_timer
sys/arch/riscv/include/sbi.h
107
struct sbiret sbi_set_timer(uint64_t stime_value);
sys/arch/riscv/riscv/clock_machdep.c
105
sbi_set_timer(next); /* schedule next timer interrupt */
sys/arch/riscv/riscv/clock_machdep.c
136
sbi_set_timer(ci->ci_lastintr_scheduled);