1904 	int reg = VCPU_REGS_RAX;  in em_pusha()
1932 	while (reg >= VCPU_REGS_RAX) {  in em_popa()
2150 	if (((u32) (old >> 0) != (u32) reg_read(ctxt, VCPU_REGS_RAX)) ||  in em_cmpxchg8b()
2152 		*reg_write(ctxt, VCPU_REGS_RAX) = (u32) (old >> 0);  in em_cmpxchg8b()
2226 	ctxt->dst.val = reg_read(ctxt, VCPU_REGS_RAX);  in em_cmpxchg()
2238 		ctxt->src.addr.reg = reg_rmw(ctxt, VCPU_REGS_RAX);  in em_cmpxchg()
2879 	tss->ax = reg_read(ctxt, VCPU_REGS_RAX);  in save_state_to_tss16()
2903 	*reg_write(ctxt, VCPU_REGS_RAX) = tss->ax;  in load_state_from_tss16()
2998 	tss->eax = reg_read(ctxt, VCPU_REGS_RAX);  in save_state_to_tss32()
3027 	*reg_write(ctxt, VCPU_REGS_RAX) = tss->eax;  in load_state_from_tss32()
3453 	*reg_write(ctxt, VCPU_REGS_RAX) = (u32)tsc;  in em_rdtsc()
3464 	*reg_write(ctxt, VCPU_REGS_RAX) = (u32)pmc;  in em_rdpmc()
3547 	msr_data = (u32)reg_read(ctxt, VCPU_REGS_RAX)  in em_wrmsr()
3562 	*reg_write(ctxt, VCPU_REGS_RAX) = (u32)msr_data;  in em_rdmsr()
3790 	eax = reg_read(ctxt, VCPU_REGS_RAX);  in em_cpuid()
3793 	*reg_write(ctxt, VCPU_REGS_RAX) = eax;  in em_cpuid()
3806 	flags &= *reg_rmw(ctxt, VCPU_REGS_RAX) >> 8;  in em_sahf()
3815 	*reg_rmw(ctxt, VCPU_REGS_RAX) &= ~0xff00UL;  in em_lahf()
3816 	*reg_rmw(ctxt, VCPU_REGS_RAX) |= (ctxt->eflags & 0xff) << 8;  in em_lahf()
3988 	u64 rax = reg_read(ctxt, VCPU_REGS_RAX);  in check_svme_pa()
4636 		op->addr.reg = reg_rmw(ctxt, VCPU_REGS_RAX);  in decode_operand()
4643 		op->addr.reg = reg_rmw(ctxt, VCPU_REGS_RAX);  in decode_operand()
4727 				(reg_read(ctxt, VCPU_REGS_RAX) & 0xff));  in decode_operand()
5298 		if (ctxt->dst.addr.reg == reg_rmw(ctxt, VCPU_REGS_RAX))  in x86_emulate_insn()