Symbol: vmx_vmresume
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2451
ret = vmx_vmresume(cpudata->gprs);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
62
int vmx_vmresume(uint64_t *gprs);