Symbol: vmx_vcpu_setstate
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
2893
vmx_vcpu_setstate(vcpu);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3055
vmx_vcpu_setstate(vcpu);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3692
.vcpu_setstate = vmx_vcpu_setstate,