Symbol: sbi_set_timer
sys/riscv/include/sbi.h
178
void sbi_set_timer(uint64_t val);
sys/riscv/riscv/timer.c
149
sbi_set_timer(-1UL);
sys/riscv/riscv/timer.c
95
sbi_set_timer(timecmp);