HOST_FS_SELECTOR
EVMCS1_FIELD(HOST_FS_SELECTOR, host_fs_selector,
FIELD(HOST_FS_SELECTOR, host_fs_selector),
SHADOW_FIELD_RW(HOST_FS_SELECTOR, host_fs_selector)
vmcs_write16(HOST_FS_SELECTOR, fs_sel);
vmcs_write16(HOST_FS_SELECTOR, 0);
vmcs_write16(HOST_FS_SELECTOR, 0); /* 22.2.4 */
vmcs_read16(HOST_FS_SELECTOR), vmcs_read16(HOST_GS_SELECTOR),
case HOST_FS_SELECTOR:
case HOST_FS_SELECTOR:
vmwrite(HOST_FS_SELECTOR, get_fs());
vmwrite(GUEST_FS_SELECTOR, vmreadz(HOST_FS_SELECTOR));