Symbol: svm_vcpu_getstate
sys/dev/nvmm/x86/nvmm_x86_svm.c
2273
svm_vcpu_getstate(vcpu);
sys/dev/nvmm/x86/nvmm_x86_svm.c
2936
.vcpu_getstate = svm_vcpu_getstate,