Searched refs:tss_rsp2 (Results 1 – 4 of 4) sorted by relevance
49 u_int64_t tss_rsp2 __packed; /* kernel stack pointer ring 2 */
82 uint64_t tss_rsp2; /* stack pointer CPL = 2 */ member
114 tss_rsp2
1886 printf(tss_fmt, "tss_rsp2", (void *)tss->tss_rsp2); in dump_tss()