Symbol: svm_vmrun
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
1701
svm_vmrun(cpudata->vmcb_pa, cpudata->gprs);
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
39
void svm_vmrun(paddr_t, uint64_t *);