Searched refs:mcpu_kpti_dbg (Results 1 – 5 of 5) sorted by relevance
240 struct kpti_frame mcpu_kpti_dbg; member
210 ntss->tss_ist4 = (uintptr_t)&cp->cpu_m.mcpu_kpti_dbg.kf_tr_rsp; in mach_cpucontext_alloc_tables()
246 cpu_m.mcpu_kpti_dbg CPU_KPTI_DBG
915 ktss0->tss_ist4 = (uint64_t)&cpus->cpu_m.mcpu_kpti_dbg.kf_tr_rsp; in init_tss()
1557 reset_kpti(&cpu->cpu_m.mcpu_kpti_dbg, kcr3, ucr3); in hat_switch()