Searched refs:tss_ist4 (Results 1 – 3 of 3) sorted by relevance
87 uint64_t tss_ist4; /* Interrupt stack table 4 */ member
118 tss_ist4
2015 printf(tss_fmt, "tss_ist4", (void *)tss->tss_ist4); in dump_tss()