Symbol: SBI_SET_TIMER
sys/riscv/riscv/sbi.c
194
(void)SBI_CALL1(SBI_SET_TIMER, 0, val);
sys/riscv/riscv/sbi.c
328
KASSERT(has_time_extension || sbi_probe_extension(SBI_SET_TIMER) != 0,