Symbol: VMCS_GUEST_IA32_SYSENTER_EIP
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2848
vmx_vmwrite(VMCS_GUEST_IA32_SYSENTER_EIP,
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2985
vmx_vmread(VMCS_GUEST_IA32_SYSENTER_EIP);