Lines Matching refs:VCPU_REGS_RCX
1433 address_mask(ctxt, reg_read(ctxt, VCPU_REGS_RCX)) : 1;
2220 ctxt->dst.val64 = ((u64)reg_read(ctxt, VCPU_REGS_RCX) << 32) |
2431 *reg_write(ctxt, VCPU_REGS_RCX) = ctxt->_eip;
2530 rcx = reg_read(ctxt, VCPU_REGS_RCX);
2650 *reg_write(ctxt, VCPU_REGS_RCX) = 0;
2670 tss->cx = reg_read(ctxt, VCPU_REGS_RCX);
2694 *reg_write(ctxt, VCPU_REGS_RCX) = tss->cx;
2783 tss->ecx = reg_read(ctxt, VCPU_REGS_RCX);
2812 *reg_write(ctxt, VCPU_REGS_RCX) = tss->ecx;
3252 if (ctxt->ops->read_pmc(ctxt, reg_read(ctxt, VCPU_REGS_RCX), &pmc))
3342 u64 msr_index = reg_read(ctxt, VCPU_REGS_RCX);
3358 u64 msr_index = reg_read(ctxt, VCPU_REGS_RCX);
3566 register_address_increment(ctxt, VCPU_REGS_RCX, -1);
3567 if ((address_mask(ctxt, reg_read(ctxt, VCPU_REGS_RCX)) != 0) &&
3578 if (address_mask(ctxt, reg_read(ctxt, VCPU_REGS_RCX)) == 0)
3633 ecx = reg_read(ctxt, VCPU_REGS_RCX);
3637 *reg_write(ctxt, VCPU_REGS_RCX) = ecx;
3838 ecx = reg_read(ctxt, VCPU_REGS_RCX);
3947 u64 rcx = reg_read(ctxt, VCPU_REGS_RCX);
4661 op->val = reg_read(ctxt, VCPU_REGS_RCX) & 0xff;
5228 if (address_mask(ctxt, reg_read(ctxt, VCPU_REGS_RCX)) == 0) {
5394 register_address_increment(ctxt, VCPU_REGS_RCX, -count);
5401 if ((r->end != 0 || reg_read(ctxt, VCPU_REGS_RCX) & 0x3ff) &&