1907 	int reg = VCPU_REGS_RAX;  in em_pusha()
1935 	while (reg >= VCPU_REGS_RAX) {  in em_popa()
2153 	if (((u32) (old >> 0) != (u32) reg_read(ctxt, VCPU_REGS_RAX)) ||  in em_cmpxchg8b()
2155 		*reg_write(ctxt, VCPU_REGS_RAX) = (u32) (old >> 0);  in em_cmpxchg8b()
2229 	ctxt->dst.val = reg_read(ctxt, VCPU_REGS_RAX);  in em_cmpxchg()
2241 		ctxt->src.addr.reg = reg_rmw(ctxt, VCPU_REGS_RAX);  in em_cmpxchg()
2581 	tss->ax = reg_read(ctxt, VCPU_REGS_RAX);  in save_state_to_tss16()
2605 	*reg_write(ctxt, VCPU_REGS_RAX) = tss->ax;  in load_state_from_tss16()
2700 	tss->eax = reg_read(ctxt, VCPU_REGS_RAX);  in save_state_to_tss32()
2729 	*reg_write(ctxt, VCPU_REGS_RAX) = tss->eax;  in load_state_from_tss32()
3152 	*reg_write(ctxt, VCPU_REGS_RAX) = (u32)tsc;  in em_rdtsc()
3163 	*reg_write(ctxt, VCPU_REGS_RAX) = (u32)pmc;  in em_rdpmc()
3246 	msr_data = (u32)reg_read(ctxt, VCPU_REGS_RAX)  in em_wrmsr()
3261 	*reg_write(ctxt, VCPU_REGS_RAX) = (u32)msr_data;  in em_rdmsr()
3489 	eax = reg_read(ctxt, VCPU_REGS_RAX);  in em_cpuid()
3492 	*reg_write(ctxt, VCPU_REGS_RAX) = eax;  in em_cpuid()
3505 	flags &= *reg_rmw(ctxt, VCPU_REGS_RAX) >> 8;  in em_sahf()
3514 	*reg_rmw(ctxt, VCPU_REGS_RAX) &= ~0xff00UL;  in em_lahf()
3515 	*reg_rmw(ctxt, VCPU_REGS_RAX) |= (ctxt->eflags & 0xff) << 8;  in em_lahf()
3687 	u64 rax = reg_read(ctxt, VCPU_REGS_RAX);  in check_svme_pa()
4335 		op->addr.reg = reg_rmw(ctxt, VCPU_REGS_RAX);  in decode_operand()
4342 		op->addr.reg = reg_rmw(ctxt, VCPU_REGS_RAX);  in decode_operand()
4426 				(reg_read(ctxt, VCPU_REGS_RAX) & 0xff));  in decode_operand()
4996 		if (ctxt->dst.addr.reg == reg_rmw(ctxt, VCPU_REGS_RAX))  in x86_emulate_insn()