Searched refs:guest_es_ar_bytes (Results 1 – 1 of 1) sorted by relevance
348 u32 guest_es_ar_bytes; member784 FIELD(GUEST_ES_AR_BYTES, guest_es_ar_bytes),9685 vmcs_write32(GUEST_ES_AR_BYTES, vmcs12->guest_es_ar_bytes); in prepare_vmcs02()10373 vmcs12->guest_es_ar_bytes = vmcs_read32(GUEST_ES_AR_BYTES); in prepare_vmcs12()