Symbol: vmx_resume_rip
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3082
extern uint8_t vmx_resume_rip;
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3148
vmx_vmwrite(VMCS_HOST_RIP, (uint64_t)&vmx_resume_rip);