Home
last modified time | relevance | path

Searched refs:vtimer_set_timer (Results 1 – 3 of 3) sorted by relevance

/freebsd/sys/riscv/vmm/
H A Dvmm_vtimer.h45 int vtimer_set_timer(struct hypctx *hypctx, uint64_t next_val);
H A Dvmm_vtimer.c97 vtimer_set_timer(struct hypctx *hypctx, uint64_t next_val) in vtimer_set_timer() function
H A Dvmm_sbi.c136 vtimer_set_timer(hypctx, next_val); in vmm_sbi_handle_time()