2625 	u64 msr_data;  in em_syscall()  local
2643 	ops->get_msr(ctxt, MSR_STAR, &msr_data);  in em_syscall()
2644 	msr_data >>= 32;  in em_syscall()
2645 	cs_sel = (u16)(msr_data & 0xfffc);  in em_syscall()
2646 	ss_sel = (u16)(msr_data + 8);  in em_syscall()
2662 			     MSR_LSTAR : MSR_CSTAR, &msr_data);  in em_syscall()
2663 		ctxt->_eip = msr_data;  in em_syscall()
2665 		ops->get_msr(ctxt, MSR_SYSCALL_MASK, &msr_data);  in em_syscall()
2666 		ctxt->eflags &= ~msr_data;  in em_syscall()
2671 		ops->get_msr(ctxt, MSR_STAR, &msr_data);  in em_syscall()
2672 		ctxt->_eip = (u32)msr_data;  in em_syscall()
2684 	u64 msr_data;  in em_sysenter()  local
2707 	ops->get_msr(ctxt, MSR_IA32_SYSENTER_CS, &msr_data);  in em_sysenter()
2708 	if ((msr_data & 0xfffc) == 0x0)  in em_sysenter()
2712 	cs_sel = (u16)msr_data & ~SEGMENT_RPL_MASK;  in em_sysenter()
2722 	ops->get_msr(ctxt, MSR_IA32_SYSENTER_EIP, &msr_data);  in em_sysenter()
2723 	ctxt->_eip = (efer & EFER_LMA) ? msr_data : (u32)msr_data;  in em_sysenter()
2725 	ops->get_msr(ctxt, MSR_IA32_SYSENTER_ESP, &msr_data);  in em_sysenter()
2726 	*reg_write(ctxt, VCPU_REGS_RSP) = (efer & EFER_LMA) ? msr_data :  in em_sysenter()
2727 							      (u32)msr_data;  in em_sysenter()
2736 	u64 msr_data, rcx, rdx;  in em_sysexit()  local
2757 	ops->get_msr(ctxt, MSR_IA32_SYSENTER_CS, &msr_data);  in em_sysexit()
2760 		cs_sel = (u16)(msr_data + 16);  in em_sysexit()
2761 		if ((msr_data & 0xfffc) == 0x0)  in em_sysexit()
2763 		ss_sel = (u16)(msr_data + 24);  in em_sysexit()
2768 		cs_sel = (u16)(msr_data + 32);  in em_sysexit()
2769 		if (msr_data == 0x0)  in em_sysexit()
3545 	u64 msr_data;  in em_wrmsr()  local
3547 	msr_data = (u32)reg_read(ctxt, VCPU_REGS_RAX)  in em_wrmsr()
3549 	if (ctxt->ops->set_msr(ctxt, reg_read(ctxt, VCPU_REGS_RCX), msr_data))  in em_wrmsr()
3557 	u64 msr_data;  in em_rdmsr()  local
3559 	if (ctxt->ops->get_msr(ctxt, reg_read(ctxt, VCPU_REGS_RCX), &msr_data))  in em_rdmsr()
3562 	*reg_write(ctxt, VCPU_REGS_RAX) = (u32)msr_data;  in em_rdmsr()
3563 	*reg_write(ctxt, VCPU_REGS_RDX) = msr_data >> 32;  in em_rdmsr()