GUEST_GS_SELECTOR
EVMCS1_FIELD(GUEST_GS_SELECTOR, guest_gs_selector,
vmcs_write16(GUEST_GS_SELECTOR, vmcs12->guest_gs_selector);
case GUEST_GS_SELECTOR:
vmcs12->guest_gs_selector = vmcs_read16(GUEST_GS_SELECTOR);
FIELD(GUEST_GS_SELECTOR, guest_gs_selector),
vmx_dump_sel("GS: ", GUEST_GS_SELECTOR);
case GUEST_GS_SELECTOR:
case GUEST_GS_SELECTOR:
vmwrite(GUEST_GS_SELECTOR, vmreadz(HOST_GS_SELECTOR));
vmreadz(GUEST_GS_SELECTOR) == 0 ? 0x10000 : 0xc093);