Symbol: vmx_vcpu_setstate
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3026
vmx_vcpu_setstate(vcpu);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3199
vmx_vcpu_setstate(vcpu);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3953
.vcpu_setstate = vmx_vcpu_setstate,