Lines Matching refs:VCPU_REGS_RAX
1976 int reg = VCPU_REGS_RAX;
2004 while (reg >= VCPU_REGS_RAX) {
2214 if (((u32) (old >> 0) != (u32) reg_read(ctxt, VCPU_REGS_RAX)) ||
2216 *reg_write(ctxt, VCPU_REGS_RAX) = (u32) (old >> 0);
2281 ctxt->dst.val = reg_read(ctxt, VCPU_REGS_RAX);
2293 ctxt->src.addr.reg = reg_rmw(ctxt, VCPU_REGS_RAX);
2669 tss->ax = reg_read(ctxt, VCPU_REGS_RAX);
2693 *reg_write(ctxt, VCPU_REGS_RAX) = tss->ax;
2782 tss->eax = reg_read(ctxt, VCPU_REGS_RAX);
2811 *reg_write(ctxt, VCPU_REGS_RAX) = tss->eax;
3243 *reg_write(ctxt, VCPU_REGS_RAX) = (u32)tsc;
3254 *reg_write(ctxt, VCPU_REGS_RAX) = (u32)pmc;
3346 msr_data = (u32)reg_read(ctxt, VCPU_REGS_RAX)
3368 *reg_write(ctxt, VCPU_REGS_RAX) = (u32)msr_data;
3632 eax = reg_read(ctxt, VCPU_REGS_RAX);
3635 *reg_write(ctxt, VCPU_REGS_RAX) = eax;
3648 flags &= *reg_rmw(ctxt, VCPU_REGS_RAX) >> 8;
3657 *reg_rmw(ctxt, VCPU_REGS_RAX) &= ~0xff00UL;
3658 *reg_rmw(ctxt, VCPU_REGS_RAX) |= (ctxt->eflags & 0xff) << 8;
3836 eax = reg_read(ctxt, VCPU_REGS_RAX);
3925 u64 rax = reg_read(ctxt, VCPU_REGS_RAX);
4621 op->addr.reg = reg_rmw(ctxt, VCPU_REGS_RAX);
4628 op->addr.reg = reg_rmw(ctxt, VCPU_REGS_RAX);
4712 (reg_read(ctxt, VCPU_REGS_RAX) & 0xff));
5309 if (ctxt->dst.addr.reg == reg_rmw(ctxt, VCPU_REGS_RAX))