Symbol: sbi_set_timer
arch/riscv/include/asm/sbi.h
585
void sbi_set_timer(uint64_t stime_value);
drivers/clocksource/timer-riscv.c
42
sbi_set_timer(U64_MAX);
drivers/clocksource/timer-riscv.c
60
sbi_set_timer(next_tval);