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 */