Searched refs:guest_cs_selector (Results 1 – 4 of 4) sorted by relevance
284 EVMCS1_FIELD(GUEST_CS_SELECTOR, guest_cs_selector,
579 u16 guest_cs_selector; member735 CHECK_OFFSET(guest_cs_selector, 966); in vmx_check_vmcs12_offsets()1098 FIELD(GUEST_CS_SELECTOR, guest_cs_selector),12118 vmcs_write16(GUEST_CS_SELECTOR, vmcs12->guest_cs_selector); in prepare_vmcs02()12978 vmcs12->guest_cs_selector = vmcs_read16(GUEST_CS_SELECTOR); in sync_vmcs12()
552 u16 guest_cs_selector; member
202 u16 guest_cs_selector;