Symbol: svm_vcpu_setstate
src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c
2119
svm_vcpu_setstate(vcpu);
src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c
2299
svm_vcpu_setstate(vcpu);
src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c
2733
.vcpu_setstate = svm_vcpu_setstate,
src/libs/nvmm/driver/x86/nvmm_x86_svm.c
2119
svm_vcpu_setstate(vcpu);
src/libs/nvmm/driver/x86/nvmm_x86_svm.c
2299
svm_vcpu_setstate(vcpu);
src/libs/nvmm/driver/x86/nvmm_x86_svm.c
2733
.vcpu_setstate = svm_vcpu_setstate,