Symbol: riscv_get_active_vcpu
sys/riscv/vmm/riscv.h
127
struct hypctx *riscv_get_active_vcpu(void);
sys/riscv/vmm/vmm_riscv.c
735
if (riscv_get_active_vcpu() == hyp->ctx[i]) {
sys/riscv/vmm/vmm_sbi.c
188
hypctx = riscv_get_active_vcpu();