Symbol: vmx_resume_rip
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3014
vmx_vmwrite(VMCS_HOST_RIP, (uint64_t)(uintptr_t)vmx_resume_rip);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
41
void vmx_resume_rip(void);