Symbol: sbi_set_timer
sys/arch/riscv64/dev/imsic.c
252
sbi_set_timer(0);
sys/arch/riscv64/dev/plic.c
564
sbi_set_timer(0);
sys/arch/riscv64/riscv64/clock.c
70
sbi_set_timer(nsecs);