Searched refs:tss_ebx (Results 1 – 3 of 3) sorted by relevance
115 uint32_t tss_ebx; member
111 tss_ebx TSS_EBX
2040 printf(tss_fmt, "tss_ebx", (void *)(uintptr_t)tss->tss_ebx); in dump_tss()