Searched refs:VCPU_REGS_RDI (Results 1 – 4 of 4) sorted by relevance
1159 unsigned di = reg_read(ctxt, VCPU_REGS_RDI); in decode_modrm()1374 offset_in_page(reg_read(ctxt, VCPU_REGS_RDI)) : in pio_in_emulated()1375 PAGE_SIZE - offset_in_page(reg_read(ctxt, VCPU_REGS_RDI)); in pio_in_emulated()1962 while (reg <= VCPU_REGS_RDI) { in em_pusha()1985 int reg = VCPU_REGS_RDI; in em_popa()2615 *reg_rmw(ctxt, VCPU_REGS_RDI) &= (u32)-1; in string_registers_quirk()2632 tss->di = reg_read(ctxt, VCPU_REGS_RDI); in save_state_to_tss16()2656 *reg_write(ctxt, VCPU_REGS_RDI) = tss->di; in load_state_from_tss16()2745 tss->edi = reg_read(ctxt, VCPU_REGS_RDI); in save_state_to_tss32()2774 *reg_write(ctxt, VCPU_REGS_RDI) = tss->edi; in load_state_from_tss32()[all …]
182 VCPU_REGS_RDI = __VCPU_REGS_RDI, enumerator
1028 BIT_ULL(VCPU_REGS_RDI) | \
898 save->rdi = svm->vcpu.arch.regs[VCPU_REGS_RDI]; in sev_es_sync_vmsa()