Searched refs:tss_edi (Results 1 – 3 of 3) sorted by relevance
60 int tss_edi; member
75 uint32_t tss_edi; member446 tss->tss_edi = GETREG(vcpu, VM_REG_GUEST_RDI); in tss32_save()544 SETREG(vcpu, VM_REG_GUEST_RDI, tss->tss_edi); in tss32_restore()
1015 t->tss_edx, t->tss_ecx, t->tss_edi, t->tss_esi, in dblfault_handler()