Symbol: VMCS_GUEST_IA32_SYSENTER_ESP
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2846
vmx_vmwrite(VMCS_GUEST_IA32_SYSENTER_ESP,
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2983
vmx_vmread(VMCS_GUEST_IA32_SYSENTER_ESP);