Lines Matching refs:VCPU_REGS_RDI
1221 unsigned di = reg_read(ctxt, VCPU_REGS_RDI);
1436 offset_in_page(reg_read(ctxt, VCPU_REGS_RDI)) :
1437 PAGE_SIZE - offset_in_page(reg_read(ctxt, VCPU_REGS_RDI));
1980 while (reg <= VCPU_REGS_RDI) {
2003 int reg = VCPU_REGS_RDI;
2662 *reg_rmw(ctxt, VCPU_REGS_RDI) &= (u32)-1;
2679 tss->di = reg_read(ctxt, VCPU_REGS_RDI);
2703 *reg_write(ctxt, VCPU_REGS_RDI) = tss->di;
2792 tss->edi = reg_read(ctxt, VCPU_REGS_RDI);
2821 *reg_write(ctxt, VCPU_REGS_RDI) = tss->edi;
4643 register_address(ctxt, VCPU_REGS_RDI);
5381 string_addr_inc(ctxt, VCPU_REGS_RDI, &ctxt->dst);