Symbol: riscv_set_active_vcpu
sys/riscv/vmm/vmm_riscv.c
668
riscv_set_active_vcpu(hypctx);
sys/riscv/vmm/vmm_riscv.c
736
riscv_set_active_vcpu(NULL);