Lines Matching refs:VCPU_REGS_RDI
1355 unsigned di = reg_read(ctxt, VCPU_REGS_RDI);
1569 offset_in_page(reg_read(ctxt, VCPU_REGS_RDI)) :
1570 PAGE_SIZE - offset_in_page(reg_read(ctxt, VCPU_REGS_RDI));
2086 while (reg <= VCPU_REGS_RDI) {
2109 int reg = VCPU_REGS_RDI;
3084 *reg_rmw(ctxt, VCPU_REGS_RDI) &= (u32)-1;
3101 tss->di = reg_read(ctxt, VCPU_REGS_RDI);
3125 *reg_write(ctxt, VCPU_REGS_RDI) = tss->di;
3215 tss->edi = reg_read(ctxt, VCPU_REGS_RDI);
3244 *reg_write(ctxt, VCPU_REGS_RDI) = tss->edi;
5065 register_address(ctxt, VCPU_REGS_RDI);
5796 string_addr_inc(ctxt, VCPU_REGS_RDI, &ctxt->dst);