Home
last modified time | relevance | path

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

/freebsd/sys/riscv/vmm/
H A Dvmm_sbi.c125 vmm_sbi_handle_time(struct vcpu *vcpu, struct hypctx *hypctx) in vmm_sbi_handle_time() function
222 vmm_sbi_handle_time(vcpu, hypctx); in vmm_sbi_ecall()