vmx_vmlaunch - Haiku

Symbol: vmx_vmlaunch

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

ret = vmx_vmlaunch(cpudata->gprs);

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

int vmx_vmlaunch(uint64_t *gprs);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

ret = vmx_vmlaunch(cpudata->gprs);

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

int vmx_vmlaunch(uint64_t *gprs);