GUEST_SYSENTER_ESP
EVMCS1_FIELD(GUEST_SYSENTER_ESP, guest_sysenter_esp,
vmcs_writel(GUEST_SYSENTER_ESP, vmcs12->guest_sysenter_esp);
vmcs_writel(GUEST_SYSENTER_ESP, vmcs12->host_ia32_sysenter_esp);
FIELD(GUEST_SYSENTER_ESP, guest_sysenter_esp),
msr_info->data = vmcs_readl(GUEST_SYSENTER_ESP);
vmcs_writel(GUEST_SYSENTER_ESP, data);
vmcs_writel(GUEST_SYSENTER_ESP, 0);
vmcs_readl(GUEST_SYSENTER_ESP),
case GUEST_SYSENTER_ESP:
case GUEST_SYSENTER_ESP:
vmwrite(GUEST_SYSENTER_ESP, vmreadz(HOST_IA32_SYSENTER_ESP));