GUEST_CS_SELECTOR
EVMCS1_FIELD(GUEST_CS_SELECTOR, guest_cs_selector,
vmcs_write16(GUEST_CS_SELECTOR, vmcs12->guest_cs_selector);
case GUEST_CS_SELECTOR:
vmcs12->guest_cs_selector = vmcs_read16(GUEST_CS_SELECTOR);
FIELD(GUEST_CS_SELECTOR, guest_cs_selector),
vmcs_write16(GUEST_CS_SELECTOR, 0xf000);
vmx_dump_sel("CS: ", GUEST_CS_SELECTOR);
case GUEST_CS_SELECTOR:
case GUEST_CS_SELECTOR:
vmwrite(GUEST_CS_SELECTOR, vmreadz(HOST_CS_SELECTOR));