Searched refs:tss_edx (Results 1 – 3 of 3) sorted by relevance
55 int tss_edx; member
70 uint32_t tss_edx; member441 tss->tss_edx = GETREG(vcpu, VM_REG_GUEST_RDX); in tss32_save()539 SETREG(vcpu, VM_REG_GUEST_RDX, tss->tss_edx); in tss32_restore()
1015 t->tss_edx, t->tss_ecx, t->tss_edi, t->tss_esi, in dblfault_handler()