Lines Matching refs:VCPU_REGS_RDI
1205 unsigned di = reg_read(ctxt, VCPU_REGS_RDI); in decode_modrm()
1419 offset_in_page(reg_read(ctxt, VCPU_REGS_RDI)) : in pio_in_emulated()
1420 PAGE_SIZE - offset_in_page(reg_read(ctxt, VCPU_REGS_RDI)); in pio_in_emulated()
1909 while (reg <= VCPU_REGS_RDI) { in em_pusha()
1932 int reg = VCPU_REGS_RDI; in em_popa()
2588 tss->di = reg_read(ctxt, VCPU_REGS_RDI); in save_state_to_tss16()
2612 *reg_write(ctxt, VCPU_REGS_RDI) = tss->di; in load_state_from_tss16()
2707 tss->edi = reg_read(ctxt, VCPU_REGS_RDI); in save_state_to_tss32()
2736 *reg_write(ctxt, VCPU_REGS_RDI) = tss->edi; in load_state_from_tss32()
4361 register_address(ctxt, VCPU_REGS_RDI); in decode_operand()
5072 string_addr_inc(ctxt, VCPU_REGS_RDI, &ctxt->dst); in x86_emulate_insn()