Searched refs:tss_rsp0 (Results 1 – 5 of 5) sorted by relevance
47 u_int64_t tss_rsp0 __packed; /* kernel stack pointer ring 0 */
80 uint64_t tss_rsp0; /* stack pointer CPL = 0 */ member
112 tss_rsp0
903 ktss0->tss_rsp0 = (uint64_t)&cpus->cpu_m.mcpu_kpti.kf_tr_rsp; in init_tss()
1884 printf(tss_fmt, "tss_rsp0", (void *)tss->tss_rsp0); in dump_tss()