GUEST_SYSENTER_ESP  874 arch/x86/kvm/vmx.c 		data = vmcs_readl(GUEST_SYSENTER_ESP);
GUEST_SYSENTER_ESP  920 arch/x86/kvm/vmx.c 		vmcs_writel(GUEST_SYSENTER_ESP, data);
GUEST_SYSENTER_ESP 2070 arch/x86/kvm/vmx.c 	vmcs_writel(GUEST_SYSENTER_ESP, 0);