Symbol: vmx_vcpu_getstate
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3018
vmx_vcpu_getstate(vcpu);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3954
.vcpu_getstate = vmx_vcpu_getstate,