269 static ulong *reg_write(struct x86_emulate_ctxt *ctxt, unsigned nr)  in reg_write()  function
279 	return reg_write(ctxt, nr);  in reg_rmw()
2155 		*reg_write(ctxt, VCPU_REGS_RAX) = (u32) (old >> 0);  in em_cmpxchg8b()
2156 		*reg_write(ctxt, VCPU_REGS_RDX) = (u32) (old >> 32);  in em_cmpxchg8b()
2381 	*reg_write(ctxt, VCPU_REGS_RCX) = ctxt->_eip;  in em_syscall()
2384 		*reg_write(ctxt, VCPU_REGS_R11) = ctxt->eflags;  in em_syscall()
2452 	*reg_write(ctxt, VCPU_REGS_RSP) = (efer & EFER_LMA) ? msr_data :  in em_sysenter()
2512 	*reg_write(ctxt, VCPU_REGS_RSP) = rcx;  in em_sysexit()
2605 	*reg_write(ctxt, VCPU_REGS_RAX) = tss->ax;  in load_state_from_tss16()
2606 	*reg_write(ctxt, VCPU_REGS_RCX) = tss->cx;  in load_state_from_tss16()
2607 	*reg_write(ctxt, VCPU_REGS_RDX) = tss->dx;  in load_state_from_tss16()
2608 	*reg_write(ctxt, VCPU_REGS_RBX) = tss->bx;  in load_state_from_tss16()
2609 	*reg_write(ctxt, VCPU_REGS_RSP) = tss->sp;  in load_state_from_tss16()
2610 	*reg_write(ctxt, VCPU_REGS_RBP) = tss->bp;  in load_state_from_tss16()
2611 	*reg_write(ctxt, VCPU_REGS_RSI) = tss->si;  in load_state_from_tss16()
2612 	*reg_write(ctxt, VCPU_REGS_RDI) = tss->di;  in load_state_from_tss16()
2729 	*reg_write(ctxt, VCPU_REGS_RAX) = tss->eax;  in load_state_from_tss32()
2730 	*reg_write(ctxt, VCPU_REGS_RCX) = tss->ecx;  in load_state_from_tss32()
2731 	*reg_write(ctxt, VCPU_REGS_RDX) = tss->edx;  in load_state_from_tss32()
2732 	*reg_write(ctxt, VCPU_REGS_RBX) = tss->ebx;  in load_state_from_tss32()
2733 	*reg_write(ctxt, VCPU_REGS_RSP) = tss->esp;  in load_state_from_tss32()
2734 	*reg_write(ctxt, VCPU_REGS_RBP) = tss->ebp;  in load_state_from_tss32()
2735 	*reg_write(ctxt, VCPU_REGS_RSI) = tss->esi;  in load_state_from_tss32()
2736 	*reg_write(ctxt, VCPU_REGS_RDI) = tss->edi;  in load_state_from_tss32()
3152 	*reg_write(ctxt, VCPU_REGS_RAX) = (u32)tsc;  in em_rdtsc()
3153 	*reg_write(ctxt, VCPU_REGS_RDX) = tsc >> 32;  in em_rdtsc()
3163 	*reg_write(ctxt, VCPU_REGS_RAX) = (u32)pmc;  in em_rdpmc()
3164 	*reg_write(ctxt, VCPU_REGS_RDX) = pmc >> 32;  in em_rdpmc()
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()
3492 	*reg_write(ctxt, VCPU_REGS_RAX) = eax;  in em_cpuid()
3493 	*reg_write(ctxt, VCPU_REGS_RBX) = ebx;  in em_cpuid()
3494 	*reg_write(ctxt, VCPU_REGS_RCX) = ecx;  in em_cpuid()
3495 	*reg_write(ctxt, VCPU_REGS_RDX) = edx;  in em_cpuid()