GUEST_SYSENTER_EIP  871 arch/x86/kvm/vmx.c 		data = vmcs_readl(GUEST_SYSENTER_EIP);
GUEST_SYSENTER_EIP  917 arch/x86/kvm/vmx.c 		vmcs_writel(GUEST_SYSENTER_EIP, data);
GUEST_SYSENTER_EIP 2071 arch/x86/kvm/vmx.c 	vmcs_writel(GUEST_SYSENTER_EIP, 0);