Symbol: vmm_sbi_ecall
sys/riscv/vmm/riscv.h
130
bool vmm_sbi_ecall(struct vcpu *);
sys/riscv/vmm/vmm_riscv.c
500
handled = vmm_sbi_ecall(hypctx->vcpu);