GUEST_SYSENTER_CS  868 arch/x86/kvm/vmx.c 		data = vmcs_read32(GUEST_SYSENTER_CS);
GUEST_SYSENTER_CS  914 arch/x86/kvm/vmx.c 		vmcs_write32(GUEST_SYSENTER_CS, data);
GUEST_SYSENTER_CS 2069 arch/x86/kvm/vmx.c 	vmcs_write32(GUEST_SYSENTER_CS, 0);