Searched refs:GUEST_ES_BASE (Results 1 – 2 of 2) sorted by relevance
263 GUEST_ES_BASE = 0x00006806, enumerator
681 GUEST_ES_BASE,810 FIELD(GUEST_ES_BASE, guest_es_base),8030 vmcs_readl(sel + GUEST_ES_BASE - GUEST_ES_SELECTOR)); in vmx_dump_sel()9693 vmcs_writel(GUEST_ES_BASE, vmcs12->guest_es_base); in prepare_vmcs02()10381 vmcs12->guest_es_base = vmcs_readl(GUEST_ES_BASE); in prepare_vmcs12()