Lines Matching refs:VCPU_REGS_RDI
1220 unsigned di = reg_read(ctxt, VCPU_REGS_RDI);
1435 offset_in_page(reg_read(ctxt, VCPU_REGS_RDI)) :
1436 PAGE_SIZE - offset_in_page(reg_read(ctxt, VCPU_REGS_RDI));
1978 while (reg <= VCPU_REGS_RDI) {
2001 int reg = VCPU_REGS_RDI;
2659 *reg_rmw(ctxt, VCPU_REGS_RDI) &= (u32)-1;
2676 tss->di = reg_read(ctxt, VCPU_REGS_RDI);
2700 *reg_write(ctxt, VCPU_REGS_RDI) = tss->di;
2789 tss->edi = reg_read(ctxt, VCPU_REGS_RDI);
2818 *reg_write(ctxt, VCPU_REGS_RDI) = tss->edi;
4647 register_address(ctxt, VCPU_REGS_RDI);
5385 string_addr_inc(ctxt, VCPU_REGS_RDI, &ctxt->dst);