Lines Matching refs:VCPU_REGS_RAX
2084 int reg = VCPU_REGS_RAX;
2112 while (reg >= VCPU_REGS_RAX) {
2322 if (((u32) (old >> 0) != (u32) reg_read(ctxt, VCPU_REGS_RAX)) ||
2324 *reg_write(ctxt, VCPU_REGS_RAX) = (u32) (old >> 0);
2392 ctxt->dst.val = reg_read(ctxt, VCPU_REGS_RAX);
2404 ctxt->src.addr.reg = reg_rmw(ctxt, VCPU_REGS_RAX);
3094 tss->ax = reg_read(ctxt, VCPU_REGS_RAX);
3118 *reg_write(ctxt, VCPU_REGS_RAX) = tss->ax;
3208 tss->eax = reg_read(ctxt, VCPU_REGS_RAX);
3237 *reg_write(ctxt, VCPU_REGS_RAX) = tss->eax;
3671 *reg_write(ctxt, VCPU_REGS_RAX) = (u32)tsc;
3682 *reg_write(ctxt, VCPU_REGS_RAX) = (u32)pmc;
3774 msr_data = (u32)reg_read(ctxt, VCPU_REGS_RAX)
3801 *reg_write(ctxt, VCPU_REGS_RAX) = (u32)msr_data;
4064 eax = reg_read(ctxt, VCPU_REGS_RAX);
4067 *reg_write(ctxt, VCPU_REGS_RAX) = eax;
4080 flags &= *reg_rmw(ctxt, VCPU_REGS_RAX) >> 8;
4089 *reg_rmw(ctxt, VCPU_REGS_RAX) &= ~0xff00UL;
4090 *reg_rmw(ctxt, VCPU_REGS_RAX) |= (ctxt->eflags & 0xff) << 8;
4265 eax = reg_read(ctxt, VCPU_REGS_RAX);
4355 u64 rax = reg_read(ctxt, VCPU_REGS_RAX);
5039 op->addr.reg = reg_rmw(ctxt, VCPU_REGS_RAX);
5046 op->addr.reg = reg_rmw(ctxt, VCPU_REGS_RAX);
5130 (reg_read(ctxt, VCPU_REGS_RAX) & 0xff));
5720 if (ctxt->dst.addr.reg == reg_rmw(ctxt, VCPU_REGS_RAX))