Symbol: svm_vmrun
sys/dev/nvmm/x86/nvmm_x86_svm.c
1750
svm_vmrun(cpudata->vmcb_pa, cpudata->gprs);
sys/dev/nvmm/x86/nvmm_x86_svm.c
57
int svm_vmrun(paddr_t, uint64_t *);