HOST_IA32_SYSENTER_ESP
EVMCS1_FIELD(HOST_IA32_SYSENTER_ESP, host_ia32_sysenter_esp,
FIELD(HOST_IA32_SYSENTER_ESP, host_ia32_sysenter_esp),
vmcs_writel(HOST_IA32_SYSENTER_ESP,
vmcs_writel(HOST_IA32_SYSENTER_ESP, 0);
vmcs_readl(HOST_IA32_SYSENTER_ESP),
case HOST_IA32_SYSENTER_ESP:
case HOST_IA32_SYSENTER_ESP:
vmwrite(HOST_IA32_SYSENTER_ESP, rdmsr(MSR_IA32_SYSENTER_ESP));
vmwrite(GUEST_SYSENTER_ESP, vmreadz(HOST_IA32_SYSENTER_ESP));