Symbol: VMCS_GUEST_IA32_SYSENTER_CS
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2844
vmx_vmwrite(VMCS_GUEST_IA32_SYSENTER_CS,
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2981
vmx_vmread(VMCS_GUEST_IA32_SYSENTER_CS);