Symbol: SBI_TIME_SET_TIMER
sys/riscv/riscv/sbi.c
191
ret = SBI_CALL1(SBI_EXT_ID_TIME, SBI_TIME_SET_TIMER, val);
sys/riscv/vmm/vmm_sbi.c
123
case SBI_TIME_SET_TIMER: