HOST_IA32_SYSENTER_EIP
EVMCS1_FIELD(HOST_IA32_SYSENTER_EIP, host_ia32_sysenter_eip,
FIELD(HOST_IA32_SYSENTER_EIP, host_ia32_sysenter_eip),
vmcs_writel(HOST_IA32_SYSENTER_EIP, tmpl); /* 22.2.3 */
vmcs_readl(HOST_IA32_SYSENTER_EIP));
case HOST_IA32_SYSENTER_EIP:
case HOST_IA32_SYSENTER_EIP:
vmwrite(HOST_IA32_SYSENTER_EIP, rdmsr(MSR_IA32_SYSENTER_EIP));
vmwrite(GUEST_SYSENTER_EIP, vmreadz(HOST_IA32_SYSENTER_EIP));