Searched refs:GUEST_GS_AR_BYTES (Results 1 – 5 of 5) sorted by relevance
284 GUEST_GS_AR_BYTES = 0x0000481e, enumerator
290 GUEST_GS_AR_BYTES = 0x0000481e, enumerator
247 vmwrite(GUEST_GS_AR_BYTES, in init_vmcs_guest_state()
224 EVMCS1_FIELD(GUEST_GS_AR_BYTES, guest_gs_ar_bytes,
1188 FIELD(GUEST_GS_AR_BYTES, guest_gs_ar_bytes),11987 vmcs_write32(GUEST_GS_AR_BYTES, vmcs12->guest_gs_ar_bytes); in prepare_vmcs02_full()13000 vmcs12->guest_gs_ar_bytes = vmcs_read32(GUEST_GS_AR_BYTES); in sync_vmcs12()