Searched refs:tss_rsp1 (Results 1 – 3 of 3) sorted by relevance
81 uint64_t tss_rsp1; /* stack pointer CPL = 1 */ member
113 tss_rsp1
2009 printf(tss_fmt, "tss_rsp1", (void *)tss->tss_rsp1); in dump_tss()