Searched refs:GUEST_ES_BASE (Results 1 – 2 of 2) sorted by relevance
259 GUEST_ES_BASE = 0x00006806, enumerator
611 GUEST_ES_BASE,740 FIELD(GUEST_ES_BASE, guest_es_base),9099 vmcs_writel(GUEST_ES_BASE, vmcs12->guest_es_base); in prepare_vmcs02()9759 vmcs12->guest_es_base = vmcs_readl(GUEST_ES_BASE); in prepare_vmcs12()