Searched refs:tss_ecx (Results 1 – 3 of 3) sorted by relevance
54 int tss_ecx; member
69 uint32_t tss_ecx; member440 tss->tss_ecx = GETREG(vcpu, VM_REG_GUEST_RCX); in tss32_save()538 SETREG(vcpu, VM_REG_GUEST_RCX, tss->tss_ecx); in tss32_restore()
1015 t->tss_edx, t->tss_ecx, t->tss_edi, t->tss_esi, in dblfault_handler()