Searched refs:tss_ist4 (Results 1 – 6 of 6) sorted by relevance
55 u_int64_t tss_ist4 __packed; /* Interrupt stack table 4 */
87 uint64_t tss_ist4; /* Interrupt stack table 4 */ member
118 tss_ist4
210 ntss->tss_ist4 = (uintptr_t)&cp->cpu_m.mcpu_kpti_dbg.kf_tr_rsp; in mach_cpucontext_alloc_tables()
1891 printf(tss_fmt, "tss_ist4", (void *)tss->tss_ist4); in dump_tss()
915 ktss0->tss_ist4 = (uint64_t)&cpus->cpu_m.mcpu_kpti_dbg.kf_tr_rsp; in init_tss()