Lines Matching refs:pmap_kernel
226 KASSERT(PAI_PMAP(pai, ti) != pmap_kernel()); in pmap_tlb_pai_check()
517 KASSERT(pm != pmap_kernel()); in pmap_tlb_asid_reinitialize()
569 KASSERT(ti->ti_victim != pmap_kernel()); in pmap_tlb_shootdown_process()
665 const bool kernel_p = (pm == pmap_kernel()); in pmap_tlb_shootdown_bystanders()
765 if (pm == pmap_kernel() || PMAP_PAI_ASIDVALID_P(pai, ti)) { in pmap_tlb_update_addr()
801 if (pm == pmap_kernel() || PMAP_PAI_ASIDVALID_P(pai, ti)) { in pmap_tlb_invalidate_addr()
823 KASSERT(pm != pmap_kernel()); in pmap_tlb_asid_alloc()
927 if (pm == pmap_kernel()) { in pmap_tlb_asid_acquire()
980 KASSERT(pm != pmap_kernel()); in pmap_tlb_asid_acquire()
1009 if (pm != pmap_kernel() && !kcpuset_iszero(pm->pm_onproc)) { in pmap_tlb_asid_deactivate()
1024 tlb_set_asid(KERNEL_PID, pmap_kernel()); in pmap_tlb_asid_deactivate()
1039 KASSERT(pm != pmap_kernel()); in pmap_tlb_asid_release_all()
1121 if (pm == pmap_kernel() || pai->pai_asid > KERNEL_PID) in pmap_tlb_check()