GUEST_SYSENTER_CS
EVMCS1_FIELD(GUEST_SYSENTER_CS, guest_sysenter_cs,
vmcs_write32(GUEST_SYSENTER_CS, vmcs12->guest_sysenter_cs);
vmcs_write32(GUEST_SYSENTER_CS, vmcs12->host_ia32_sysenter_cs);
FIELD(GUEST_SYSENTER_CS, guest_sysenter_cs),
msr_info->data = vmcs_read32(GUEST_SYSENTER_CS);
vmcs_write32(GUEST_SYSENTER_CS, data);
vmcs_write32(GUEST_SYSENTER_CS, 0);
vmcs_read32(GUEST_SYSENTER_CS), vmcs_readl(GUEST_SYSENTER_EIP));
case GUEST_SYSENTER_CS:
case GUEST_SYSENTER_CS:
vmwrite(GUEST_SYSENTER_CS, vmreadz(HOST_IA32_SYSENTER_CS));