Symbol: vcpu_wait_idle
sys/dev/vmm/vmm_vm.c
114
vcpu_wait_idle(vcpu);
sys/dev/vmm/vmm_vm.c
231
vcpu_wait_idle(vcpu);