Symbol: SBI_SET_TIMER
sys/arch/riscv64/include/sbi.h
214
(void)SBI_CALL1(SBI_SET_TIMER, 0, val);
sys/arch/riscv64/riscv64/sbi.c
169
KASSERTMSG(sbi_probe_extension(SBI_SET_TIMER) != 0,