Symbol: vtimer_set_timer
sys/riscv/vmm/vmm_sbi.c
124
vtimer_set_timer(hypctx, next_val);
sys/riscv/vmm/vmm_vtimer.h
45
int vtimer_set_timer(struct hypctx *hypctx, uint64_t next_val);