2351 	u64 msr_data;  in em_syscall()  local
2369 	ops->get_msr(ctxt, MSR_STAR, &msr_data);  in em_syscall()
2370 	msr_data >>= 32;  in em_syscall()
2371 	cs_sel = (u16)(msr_data & 0xfffc);  in em_syscall()
2372 	ss_sel = (u16)(msr_data + 8);  in em_syscall()
2388 			     MSR_LSTAR : MSR_CSTAR, &msr_data);  in em_syscall()
2389 		ctxt->_eip = msr_data;  in em_syscall()
2391 		ops->get_msr(ctxt, MSR_SYSCALL_MASK, &msr_data);  in em_syscall()
2392 		ctxt->eflags &= ~msr_data;  in em_syscall()
2397 		ops->get_msr(ctxt, MSR_STAR, &msr_data);  in em_syscall()
2398 		ctxt->_eip = (u32)msr_data;  in em_syscall()
2410 	u64 msr_data;  in em_sysenter()  local
2433 	ops->get_msr(ctxt, MSR_IA32_SYSENTER_CS, &msr_data);  in em_sysenter()
2434 	if ((msr_data & 0xfffc) == 0x0)  in em_sysenter()
2438 	cs_sel = (u16)msr_data & ~SEGMENT_RPL_MASK;  in em_sysenter()
2448 	ops->get_msr(ctxt, MSR_IA32_SYSENTER_EIP, &msr_data);  in em_sysenter()
2449 	ctxt->_eip = (efer & EFER_LMA) ? msr_data : (u32)msr_data;  in em_sysenter()
2451 	ops->get_msr(ctxt, MSR_IA32_SYSENTER_ESP, &msr_data);  in em_sysenter()
2452 	*reg_write(ctxt, VCPU_REGS_RSP) = (efer & EFER_LMA) ? msr_data :  in em_sysenter()
2453 							      (u32)msr_data;  in em_sysenter()
2462 	u64 msr_data, rcx, rdx;  in em_sysexit()  local
2483 	ops->get_msr(ctxt, MSR_IA32_SYSENTER_CS, &msr_data);  in em_sysexit()
2486 		cs_sel = (u16)(msr_data + 16);  in em_sysexit()
2487 		if ((msr_data & 0xfffc) == 0x0)  in em_sysexit()
2489 		ss_sel = (u16)(msr_data + 24);  in em_sysexit()
2494 		cs_sel = (u16)(msr_data + 32);  in em_sysexit()
2495 		if (msr_data == 0x0)  in em_sysexit()
3244 	u64 msr_data;  in em_wrmsr()  local
3246 	msr_data = (u32)reg_read(ctxt, VCPU_REGS_RAX)  in em_wrmsr()
3248 	if (ctxt->ops->set_msr(ctxt, reg_read(ctxt, VCPU_REGS_RCX), msr_data))  in em_wrmsr()
3256 	u64 msr_data;  in em_rdmsr()  local
3258 	if (ctxt->ops->get_msr(ctxt, reg_read(ctxt, VCPU_REGS_RCX), &msr_data))  in em_rdmsr()
3261 	*reg_write(ctxt, VCPU_REGS_RAX) = (u32)msr_data;  in em_rdmsr()
3262 	*reg_write(ctxt, VCPU_REGS_RDX) = msr_data >> 32;  in em_rdmsr()