Lines Matching refs:pai_asid
227 KASSERTMSG(pai->pai_asid > KERNEL_PID,
228 "pm %p asid %#x (%d)", PAI_PMAP(pai, ti), pai->pai_asid,
230 KASSERTMSG(pai->pai_asid <= ti->ti_asid_max,
231 "pm %p asid %#x", PAI_PMAP(pai, ti), pai->pai_asid);
232 KASSERTMSG(TLBINFO_ASID_INUSE_P(ti, pai->pai_asid),
233 "pm %p asid %u", PAI_PMAP(pai, ti), pai->pai_asid);
250 (uintptr_t)ti, (uintptr_t)pai, (uintptr_t)pm, pai->pai_asid);
255 KASSERT(pai->pai_asid > KERNEL_PID);
256 KASSERT(pai->pai_asid <= ti->ti_asid_max);
277 UVMHIST_LOG(maphist, " ... asid %u flushed", pai->pai_asid, 0,
279 tlb_invalidate_asids(pai->pai_asid, pai->pai_asid);
281 if (TLBINFO_ASID_INUSE_P(ti, pai->pai_asid)) {
283 pai->pai_asid, 0, 0, 0);
284 TLBINFO_ASID_MARK_UNUSED(ti, pai->pai_asid);
296 pai->pai_asid = 0;
520 KASSERT(pai->pai_asid > KERNEL_PID);
523 if (!TLBINFO_ASID_INUSE_P(ti, pai->pai_asid)) {
524 TLBINFO_ASID_MARK_USED(ti, pai->pai_asid);
530 if (TLBINFO_ASID_INUSE_P(ti, pai->pai_asid)) {
573 UVMHIST_LOG(maphist, "... onproc asid %jd", pai->pai_asid, 0, 0, 0);
578 KASSERT(pai->pai_asid > KERNEL_PID);
580 tlb_invalidate_asids(pai->pai_asid, pai->pai_asid);
582 } else if (pai->pai_asid) {
583 UVMHIST_LOG(maphist, "... not active asid %jd", pai->pai_asid, 0, 0, 0);
697 KASSERT(pai->pai_asid);
769 rv = tlb_update_addr(va, pai->pai_asid, pte,
774 rv, va, pai->pai_asid, pte_value(pte));
777 pm, pai->pai_asid, va, pte_value(pte), rv);
800 (uintptr_t)pm, va, (uintptr_t)ti, pai->pai_asid);
806 va, pai->pai_asid, 0, 0);
807 tlb_invalidate_addr(va, pai->pai_asid);
826 KASSERT(pai->pai_asid == 0);
882 pai->pai_asid = ti->ti_asid_hint++;
888 tlb_invalidate_asids(pai->pai_asid, pai->pai_asid);
891 TLBINFO_ASID_MARK_USED(ti, pai->pai_asid);
935 KASSERT(pai->pai_asid <= KERNEL_PID || pai->pai_link.le_prev != NULL);
936 KASSERT(pai->pai_asid > KERNEL_PID || pai->pai_link.le_prev == NULL);
967 UVMHIST_LOG(maphist, "allocated asid %#jx", pai->pai_asid,
985 ci->ci_pmap_asid_cur = pai->pai_asid;
986 UVMHIST_LOG(maphist, "setting asid to %#jx", pai->pai_asid,
988 tlb_set_asid(pai->pai_asid, pm);
1072 KASSERTMSG(pm->pm_pai[i].pai_asid == 0,
1074 pm, i, pm->pm_pai[i].pai_asid);
1085 if (pai->pai_asid > KERNEL_PID) {
1086 if (curcpu()->ci_pmap_asid_cur == pai->pai_asid) {
1087 tlb_invalidate_asids(pai->pai_asid, pai->pai_asid);
1123 if (pm == pmap_kernel() || pai->pai_asid > KERNEL_PID)
1135 pr(" asid %5u\n", pm->pm_pai[0].pai_asid);
1138 pr(" tlb %zu asid %5u\n", i, pm->pm_pai[i].pai_asid);