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