Symbol: vcpu_run_vmx
sys/arch/amd64/amd64/vmm_machdep.c
3392
vcpu_rv = vcpu_run_vmx(vcpu, vrp);
sys/arch/amd64/amd64/vmm_machdep.c
89
int vcpu_run_vmx(struct vcpu *, struct vm_run_params *);