HOST_IA32_SYSENTER_ESP  662 arch/x86/kvm/vmx.c 		vmcs_writel(HOST_IA32_SYSENTER_ESP, sysenter_esp); /* 22.2.3 */
HOST_IA32_SYSENTER_ESP 1973 arch/x86/kvm/vmx.c 	vmcs_writel(HOST_IA32_SYSENTER_ESP, a);   /* 22.2.3 */