Searched refs:GUEST_ES_BASE (Results 1 – 2 of 2) sorted by relevance
263 GUEST_ES_BASE = 0x00006806, enumerator
666 GUEST_ES_BASE,795 FIELD(GUEST_ES_BASE, guest_es_base),7921 vmcs_readl(sel + GUEST_ES_BASE - GUEST_ES_SELECTOR)); in vmx_dump_sel()9499 vmcs_writel(GUEST_ES_BASE, vmcs12->guest_es_base); in prepare_vmcs02()10171 vmcs12->guest_es_base = vmcs_readl(GUEST_ES_BASE); in prepare_vmcs12()