1978 	int reg = VCPU_REGS_RAX;  in em_pusha()
2006 	while (reg >= VCPU_REGS_RAX) {  in em_popa()
2216 	if (((u32) (old >> 0) != (u32) reg_read(ctxt, VCPU_REGS_RAX)) ||  in em_cmpxchg8b()
2218 		*reg_write(ctxt, VCPU_REGS_RAX) = (u32) (old >> 0);  in em_cmpxchg8b()
2284 	ctxt->dst.val = reg_read(ctxt, VCPU_REGS_RAX);  in em_cmpxchg()
2296 		ctxt->src.addr.reg = reg_rmw(ctxt, VCPU_REGS_RAX);  in em_cmpxchg()
2643 	tss->ax = reg_read(ctxt, VCPU_REGS_RAX);  in save_state_to_tss16()
2667 	*reg_write(ctxt, VCPU_REGS_RAX) = tss->ax;  in load_state_from_tss16()
2756 	tss->eax = reg_read(ctxt, VCPU_REGS_RAX);  in save_state_to_tss32()
2785 	*reg_write(ctxt, VCPU_REGS_RAX) = tss->eax;  in load_state_from_tss32()
3217 	*reg_write(ctxt, VCPU_REGS_RAX) = (u32)tsc;  in em_rdtsc()
3228 	*reg_write(ctxt, VCPU_REGS_RAX) = (u32)pmc;  in em_rdpmc()
3320 	msr_data = (u32)reg_read(ctxt, VCPU_REGS_RAX)  in em_wrmsr()
3342 		*reg_write(ctxt, VCPU_REGS_RAX) = (u32)msr_data;  in em_rdmsr()
3608 	eax = reg_read(ctxt, VCPU_REGS_RAX);  in em_cpuid()
3611 	*reg_write(ctxt, VCPU_REGS_RAX) = eax;  in em_cpuid()
3624 	flags &= *reg_rmw(ctxt, VCPU_REGS_RAX) >> 8;  in em_sahf()
3633 	*reg_rmw(ctxt, VCPU_REGS_RAX) &= ~0xff00UL;  in em_lahf()
3634 	*reg_rmw(ctxt, VCPU_REGS_RAX) |= (ctxt->eflags & 0xff) << 8;  in em_lahf()
3812 	eax = reg_read(ctxt, VCPU_REGS_RAX);  in em_xsetbv()
3892 	u64 rax = reg_read(ctxt, VCPU_REGS_RAX);  in check_svme_pa()
4588 		op->addr.reg = reg_rmw(ctxt, VCPU_REGS_RAX);  in decode_operand()
4595 		op->addr.reg = reg_rmw(ctxt, VCPU_REGS_RAX);  in decode_operand()
4679 				(reg_read(ctxt, VCPU_REGS_RAX) & 0xff));  in decode_operand()
5276 		if (ctxt->dst.addr.reg == reg_rmw(ctxt, VCPU_REGS_RAX))  in x86_emulate_insn()