Lines Matching defs:ctxbusy
108 volatile struct pmap *ctxbusy[NUMCTX];
299 ctxbusy[0] = ctxbusy[1] = pmap_kernel();
1535 pte = pte_find((struct pmap *)__UNVOLATILE(ctxbusy[ctx]), va);
1602 } while (ctxbusy[cnum] != NULL && cnum != next);
1609 if (ctxbusy[cnum]) {
1614 ctxbusy[cnum]->pm_ctx = 0;
1616 ctxbusy[cnum] = pm;
1639 KASSERTMSG(ctxbusy[oldctx] == pm,
1640 "ctxbusy[%d] = %p, pm->pm_ctx = %p",
1641 oldctx, ctxbusy[oldctx], pm);
1644 ctxbusy[oldctx] = NULL;