x86/kvm/emulate.c

2218 		*reg_write(ctxt, VCPU_REGS_RAX) = (u32) (old >> 0);
2219 		*reg_write(ctxt, VCPU_REGS_RDX) = (u32) (old >> 32);
2434 	*reg_write(ctxt, VCPU_REGS_RCX) = ctxt->_eip;
2437 		*reg_write(ctxt, VCPU_REGS_R11) = ctxt->eflags;
2505 	*reg_write(ctxt, VCPU_REGS_RSP) = (efer & EFER_LMA) ? msr_data :
2568 	*reg_write(ctxt, VCPU_REGS_RSP) = rcx;
2653 	*reg_write(ctxt, VCPU_REGS_RCX) = 0;
2696 	*reg_write(ctxt, VCPU_REGS_RAX) = tss->ax;
2697 	*reg_write(ctxt, VCPU_REGS_RCX) = tss->cx;
2698 	*reg_write(ctxt, VCPU_REGS_RDX) = tss->dx;
2699 	*reg_write(ctxt, VCPU_REGS_RBX) = tss->bx;
2700 	*reg_write(ctxt, VCPU_REGS_RSP) = tss->sp;
2701 	*reg_write(ctxt, VCPU_REGS_RBP) = tss->bp;
2702 	*reg_write(ctxt, VCPU_REGS_RSI) = tss->si;
2703 	*reg_write(ctxt, VCPU_REGS_RDI) = tss->di;
2814 	*reg_write(ctxt, VCPU_REGS_RAX) = tss->eax;
2815 	*reg_write(ctxt, VCPU_REGS_RCX) = tss->ecx;
2816 	*reg_write(ctxt, VCPU_REGS_RDX) = tss->edx;
2817 	*reg_write(ctxt, VCPU_REGS_RBX) = tss->ebx;
2818 	*reg_write(ctxt, VCPU_REGS_RSP) = tss->esp;
2819 	*reg_write(ctxt, VCPU_REGS_RBP) = tss->ebp;
2820 	*reg_write(ctxt, VCPU_REGS_RSI) = tss->esi;
2821 	*reg_write(ctxt, VCPU_REGS_RDI) = tss->edi;
3246 	*reg_write(ctxt, VCPU_REGS_RAX) = (u32)tsc;
3247 	*reg_write(ctxt, VCPU_REGS_RDX) = tsc >> 32;
3257 	*reg_write(ctxt, VCPU_REGS_RAX) = (u32)pmc;
3258 	*reg_write(ctxt, VCPU_REGS_RDX) = pmc >> 32;
3371 		*reg_write(ctxt, VCPU_REGS_RAX) = (u32)msr_data;
3372 		*reg_write(ctxt, VCPU_REGS_RDX) = msr_data >> 32;
3640 	*reg_write(ctxt, VCPU_REGS_RAX) = eax;
3641 	*reg_write(ctxt, VCPU_REGS_RBX) = ebx;
3642 	*reg_write(ctxt, VCPU_REGS_RCX) = ecx;
3643 	*reg_write(ctxt, VCPU_REGS_RDX) = edx;