Searched refs:GUEST_FS_SELECTOR (Results 1 – 5 of 5) sorted by relevance
215 vmwrite(GUEST_FS_SELECTOR, vmreadz(HOST_FS_SELECTOR)); in init_vmcs_guest_state()246 vmreadz(GUEST_FS_SELECTOR) == 0 ? 0x10000 : 0xc093); in init_vmcs_guest_state()
162 GUEST_FS_SELECTOR = 0x00000808, enumerator
290 EVMCS1_FIELD(GUEST_FS_SELECTOR, guest_fs_selector,
1101 FIELD(GUEST_FS_SELECTOR, guest_fs_selector),9935 vmx_dump_sel("FS: ", GUEST_FS_SELECTOR); in dump_vmcs()11970 vmcs_write16(GUEST_FS_SELECTOR, vmcs12->guest_fs_selector); in prepare_vmcs02_full()12981 vmcs12->guest_fs_selector = vmcs_read16(GUEST_FS_SELECTOR); in sync_vmcs12()
