2722 	u64 msr_data;  in em_syscall()  local
2740 	ops->get_msr(ctxt, MSR_STAR, &msr_data);  in em_syscall()
2741 	msr_data >>= 32;  in em_syscall()
2742 	cs_sel = (u16)(msr_data & 0xfffc);  in em_syscall()
2743 	ss_sel = (u16)(msr_data + 8);  in em_syscall()
2759 			     MSR_LSTAR : MSR_CSTAR, &msr_data);  in em_syscall()
2760 		ctxt->_eip = msr_data;  in em_syscall()
2762 		ops->get_msr(ctxt, MSR_SYSCALL_MASK, &msr_data);  in em_syscall()
2763 		ctxt->eflags &= ~msr_data;  in em_syscall()
2768 		ops->get_msr(ctxt, MSR_STAR, &msr_data);  in em_syscall()
2769 		ctxt->_eip = (u32)msr_data;  in em_syscall()
2782 	u64 msr_data;  in em_sysenter()  local
2805 	ops->get_msr(ctxt, MSR_IA32_SYSENTER_CS, &msr_data);  in em_sysenter()
2806 	if ((msr_data & 0xfffc) == 0x0)  in em_sysenter()
2810 	cs_sel = (u16)msr_data & ~SEGMENT_RPL_MASK;  in em_sysenter()
2820 	ops->get_msr(ctxt, MSR_IA32_SYSENTER_EIP, &msr_data);  in em_sysenter()
2821 	ctxt->_eip = (efer & EFER_LMA) ? msr_data : (u32)msr_data;  in em_sysenter()
2823 	ops->get_msr(ctxt, MSR_IA32_SYSENTER_ESP, &msr_data);  in em_sysenter()
2824 	*reg_write(ctxt, VCPU_REGS_RSP) = (efer & EFER_LMA) ? msr_data :  in em_sysenter()
2825 							      (u32)msr_data;  in em_sysenter()
2834 	u64 msr_data, rcx, rdx;  in em_sysexit()  local
2855 	ops->get_msr(ctxt, MSR_IA32_SYSENTER_CS, &msr_data);  in em_sysexit()
2858 		cs_sel = (u16)(msr_data + 16);  in em_sysexit()
2859 		if ((msr_data & 0xfffc) == 0x0)  in em_sysexit()
2861 		ss_sel = (u16)(msr_data + 24);  in em_sysexit()
2866 		cs_sel = (u16)(msr_data + 32);  in em_sysexit()
2867 		if (msr_data == 0x0)  in em_sysexit()
3655 	u64 msr_data;  in em_wrmsr()  local
3657 	msr_data = (u32)reg_read(ctxt, VCPU_REGS_RAX)  in em_wrmsr()
3659 	if (ctxt->ops->set_msr(ctxt, reg_read(ctxt, VCPU_REGS_RCX), msr_data))  in em_wrmsr()
3667 	u64 msr_data;  in em_rdmsr()  local
3669 	if (ctxt->ops->get_msr(ctxt, reg_read(ctxt, VCPU_REGS_RCX), &msr_data))  in em_rdmsr()
3672 	*reg_write(ctxt, VCPU_REGS_RAX) = (u32)msr_data;  in em_rdmsr()
3673 	*reg_write(ctxt, VCPU_REGS_RDX) = msr_data >> 32;  in em_rdmsr()