Searched refs:tss_ecx (Results 1 – 3 of 3) sorted by relevance
113 uint32_t tss_ecx; member
112 tss_ecx TSS_ECX
2041 printf(tss_fmt, "tss_ecx", (void *)(uintptr_t)tss->tss_ecx); in dump_tss()