GUEST_FS_SELECTOR
EVMCS1_FIELD(GUEST_FS_SELECTOR, guest_fs_selector,
vmcs_write16(GUEST_FS_SELECTOR, vmcs12->guest_fs_selector);
case GUEST_FS_SELECTOR:
vmcs12->guest_fs_selector = vmcs_read16(GUEST_FS_SELECTOR);
FIELD(GUEST_FS_SELECTOR, guest_fs_selector),
vmx_dump_sel("FS: ", GUEST_FS_SELECTOR);
case GUEST_FS_SELECTOR:
case GUEST_FS_SELECTOR:
vmwrite(GUEST_FS_SELECTOR, vmreadz(HOST_FS_SELECTOR));
vmreadz(GUEST_FS_SELECTOR) == 0 ? 0x10000 : 0xc093);