Searched refs:tss_edx (Results 1 – 3 of 3) sorted by relevance
57 int tss_edx; member
71 uint32_t tss_edx; member442 tss->tss_edx = GETREG(ctx, vcpu, VM_REG_GUEST_RDX); in tss32_save()540 SETREG(ctx, vcpu, VM_REG_GUEST_RDX, tss->tss_edx); in tss32_restore()
1035 t->tss_edx, t->tss_ecx, t->tss_edi, t->tss_esi, in dblfault_handler()