Searched refs:tss_edx (Results 1 – 2 of 2) sorted by relevance
114 uint32_t tss_edx; member
83 uint32_t tss_edx; member454 tss->tss_edx = GETREG(vcpu, VM_REG_GUEST_RDX); in tss32_save()552 SETREG(vcpu, VM_REG_GUEST_RDX, tss->tss_edx); in tss32_restore()