Searched refs:tss_rsp2 (Results 1 – 3 of 3) sorted by relevance
82 uint64_t tss_rsp2; /* stack pointer CPL = 2 */ member
114 tss_rsp2
2010 printf(tss_fmt, "tss_rsp2", (void *)tss->tss_rsp2); in dump_tss()