HOST_IA32_SYSENTER_CS
EVMCS1_FIELD(HOST_IA32_SYSENTER_CS, host_ia32_sysenter_cs,
FIELD(HOST_IA32_SYSENTER_CS, host_ia32_sysenter_cs),
vmcs_write32(HOST_IA32_SYSENTER_CS, low32);
vmcs_read32(HOST_IA32_SYSENTER_CS),
case HOST_IA32_SYSENTER_CS:
case HOST_IA32_SYSENTER_CS:
vmwrite(HOST_IA32_SYSENTER_CS, rdmsr(MSR_IA32_SYSENTER_CS));
vmwrite(GUEST_SYSENTER_CS, vmreadz(HOST_IA32_SYSENTER_CS));