Symbol: sbi_set_timer
sys/arch/riscv64/dev/plic.c
564
sbi_set_timer(0);
sys/arch/riscv64/riscv64/clock.c
128
sbi_set_timer(UINT64_MAX); /* clear timer interrupt */
sys/arch/riscv64/riscv64/clock.c
71
sbi_set_timer(rdtime() + cycles);
sys/arch/riscv64/riscv64/clock.c
77
sbi_set_timer(0);