Symbol: vm_handle_wfi
sys/arm64/vmm/vmm.c
1057
error = vm_handle_wfi(vcpu, vme, &retu);
sys/riscv/vmm/vmm.c
720
error = vm_handle_wfi(vcpu, vme, &retu);