Searched refs:tss_rsp1 (Results 1 – 4 of 4) sorted by relevance
48 u_int64_t tss_rsp1 __packed; /* kernel stack pointer ring 1 */
81 uint64_t tss_rsp1; /* stack pointer CPL = 1 */ member
113 tss_rsp1
1885 printf(tss_fmt, "tss_rsp1", (void *)tss->tss_rsp1); in dump_tss()