Searched refs:HOST_IA32_SYSENTER_ESP (Results 1 – 2 of 2) sorted by relevance
288 HOST_IA32_SYSENTER_ESP = 0x00006c10, enumerator
820 FIELD(HOST_IA32_SYSENTER_ESP, host_ia32_sysenter_esp),2082 vmcs_writel(HOST_IA32_SYSENTER_ESP, sysenter_esp); /* 22.2.3 */ in vmx_vcpu_load()8013 vmcs_readl(HOST_IA32_SYSENTER_ESP), in dump_vmcs()