Searched refs:tss_rsp0 (Results 1 – 3 of 3) sorted by relevance
80 uint64_t tss_rsp0; /* stack pointer CPL = 0 */ member
112 tss_rsp0
2008 printf(tss_fmt, "tss_rsp0", (void *)tss->tss_rsp0); in dump_tss()