HOST_GS_SELECTOR
EVMCS1_FIELD(HOST_GS_SELECTOR, host_gs_selector,
FIELD(HOST_GS_SELECTOR, host_gs_selector),
SHADOW_FIELD_RW(HOST_GS_SELECTOR, host_gs_selector)
vmcs_write16(HOST_GS_SELECTOR, gs_sel);
vmcs_write16(HOST_GS_SELECTOR, 0);
vmcs_write16(HOST_GS_SELECTOR, 0); /* 22.2.4 */
vmcs_read16(HOST_FS_SELECTOR), vmcs_read16(HOST_GS_SELECTOR),
case HOST_GS_SELECTOR:
case HOST_GS_SELECTOR:
vmwrite(HOST_GS_SELECTOR, get_gs());
vmwrite(GUEST_GS_SELECTOR, vmreadz(HOST_GS_SELECTOR));