Symbol: vcpu_run_svm
sys/arch/amd64/amd64/vmm_machdep.c
3402
vcpu_rv = vcpu_run_svm(vcpu, vrp);
sys/arch/amd64/amd64/vmm_machdep.c
90
int vcpu_run_svm(struct vcpu *, struct vm_run_params *);