Searched refs:tss_edx (Results 1 – 3 of 3) sorted by relevance
114 uint32_t tss_edx; member
113 tss_edx TSS_EDX
2042 printf(tss_fmt, "tss_edx", (void *)(uintptr_t)tss->tss_edx); in dump_tss()