270 static ulong *reg_write(struct x86_emulate_ctxt *ctxt, unsigned nr)  in reg_write()  function
280 	return reg_write(ctxt, nr);  in reg_rmw()
2152 		*reg_write(ctxt, VCPU_REGS_RAX) = (u32) (old >> 0);  in em_cmpxchg8b()
2153 		*reg_write(ctxt, VCPU_REGS_RDX) = (u32) (old >> 32);  in em_cmpxchg8b()
2374 		*reg_write(ctxt, i) = GET_SMSTATE(u32, smbase, 0x7fd0 + i * 4);  in rsm_load_state_32()
2424 		*reg_write(ctxt, i) = GET_SMSTATE(u64, smbase, 0x7ff8 - i * 8);  in rsm_load_state_64()
2655 	*reg_write(ctxt, VCPU_REGS_RCX) = ctxt->_eip;  in em_syscall()
2658 		*reg_write(ctxt, VCPU_REGS_R11) = ctxt->eflags;  in em_syscall()
2726 	*reg_write(ctxt, VCPU_REGS_RSP) = (efer & EFER_LMA) ? msr_data :  in em_sysenter()
2786 	*reg_write(ctxt, VCPU_REGS_RSP) = rcx;  in em_sysexit()
2860 	*reg_write(ctxt, VCPU_REGS_RCX) = 0;  in string_registers_quirk()
2903 	*reg_write(ctxt, VCPU_REGS_RAX) = tss->ax;  in load_state_from_tss16()
2904 	*reg_write(ctxt, VCPU_REGS_RCX) = tss->cx;  in load_state_from_tss16()
2905 	*reg_write(ctxt, VCPU_REGS_RDX) = tss->dx;  in load_state_from_tss16()
2906 	*reg_write(ctxt, VCPU_REGS_RBX) = tss->bx;  in load_state_from_tss16()
2907 	*reg_write(ctxt, VCPU_REGS_RSP) = tss->sp;  in load_state_from_tss16()
2908 	*reg_write(ctxt, VCPU_REGS_RBP) = tss->bp;  in load_state_from_tss16()
2909 	*reg_write(ctxt, VCPU_REGS_RSI) = tss->si;  in load_state_from_tss16()
2910 	*reg_write(ctxt, VCPU_REGS_RDI) = tss->di;  in load_state_from_tss16()
3027 	*reg_write(ctxt, VCPU_REGS_RAX) = tss->eax;  in load_state_from_tss32()
3028 	*reg_write(ctxt, VCPU_REGS_RCX) = tss->ecx;  in load_state_from_tss32()
3029 	*reg_write(ctxt, VCPU_REGS_RDX) = tss->edx;  in load_state_from_tss32()
3030 	*reg_write(ctxt, VCPU_REGS_RBX) = tss->ebx;  in load_state_from_tss32()
3031 	*reg_write(ctxt, VCPU_REGS_RSP) = tss->esp;  in load_state_from_tss32()
3032 	*reg_write(ctxt, VCPU_REGS_RBP) = tss->ebp;  in load_state_from_tss32()
3033 	*reg_write(ctxt, VCPU_REGS_RSI) = tss->esi;  in load_state_from_tss32()
3034 	*reg_write(ctxt, VCPU_REGS_RDI) = tss->edi;  in load_state_from_tss32()
3453 	*reg_write(ctxt, VCPU_REGS_RAX) = (u32)tsc;  in em_rdtsc()
3454 	*reg_write(ctxt, VCPU_REGS_RDX) = tsc >> 32;  in em_rdtsc()
3464 	*reg_write(ctxt, VCPU_REGS_RAX) = (u32)pmc;  in em_rdpmc()
3465 	*reg_write(ctxt, VCPU_REGS_RDX) = pmc >> 32;  in em_rdpmc()
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()
3793 	*reg_write(ctxt, VCPU_REGS_RAX) = eax;  in em_cpuid()
3794 	*reg_write(ctxt, VCPU_REGS_RBX) = ebx;  in em_cpuid()
3795 	*reg_write(ctxt, VCPU_REGS_RCX) = ecx;  in em_cpuid()
3796 	*reg_write(ctxt, VCPU_REGS_RDX) = edx;  in em_cpuid()