Lines Matching refs:VCPU_REGS_RAX
1978 int reg = VCPU_REGS_RAX;
2006 while (reg >= VCPU_REGS_RAX) {
2216 if (((u32) (old >> 0) != (u32) reg_read(ctxt, VCPU_REGS_RAX)) ||
2218 *reg_write(ctxt, VCPU_REGS_RAX) = (u32) (old >> 0);
2284 ctxt->dst.val = reg_read(ctxt, VCPU_REGS_RAX);
2296 ctxt->src.addr.reg = reg_rmw(ctxt, VCPU_REGS_RAX);
2672 tss->ax = reg_read(ctxt, VCPU_REGS_RAX);
2696 *reg_write(ctxt, VCPU_REGS_RAX) = tss->ax;
2785 tss->eax = reg_read(ctxt, VCPU_REGS_RAX);
2814 *reg_write(ctxt, VCPU_REGS_RAX) = tss->eax;
3246 *reg_write(ctxt, VCPU_REGS_RAX) = (u32)tsc;
3257 *reg_write(ctxt, VCPU_REGS_RAX) = (u32)pmc;
3349 msr_data = (u32)reg_read(ctxt, VCPU_REGS_RAX)
3371 *reg_write(ctxt, VCPU_REGS_RAX) = (u32)msr_data;
3637 eax = reg_read(ctxt, VCPU_REGS_RAX);
3640 *reg_write(ctxt, VCPU_REGS_RAX) = eax;
3653 flags &= *reg_rmw(ctxt, VCPU_REGS_RAX) >> 8;
3662 *reg_rmw(ctxt, VCPU_REGS_RAX) &= ~0xff00UL;
3663 *reg_rmw(ctxt, VCPU_REGS_RAX) |= (ctxt->eflags & 0xff) << 8;
3841 eax = reg_read(ctxt, VCPU_REGS_RAX);
3921 u64 rax = reg_read(ctxt, VCPU_REGS_RAX);
4617 op->addr.reg = reg_rmw(ctxt, VCPU_REGS_RAX);
4624 op->addr.reg = reg_rmw(ctxt, VCPU_REGS_RAX);
4708 (reg_read(ctxt, VCPU_REGS_RAX) & 0xff));
5305 if (ctxt->dst.addr.reg == reg_rmw(ctxt, VCPU_REGS_RAX))