pmap_ctx
pm, pmap_ctx(pm), pm->pm_refs,
pmap_ctx(p->p_vmspace->vm_map.pmap));
pmap_ctx(p->p_vmspace->vm_map.pmap));
ctx = pmap_ctx(p->p_vmspace->vm_map.pmap);
pmap_ctx(p->p_vmspace->vm_map.pmap) = ctx;
ctx = pmap_ctx(p->p_vmspace->vm_map.pmap);
DPRINTF(PDB_CREATE, ("pmap_create(%p): ctx %d\n", pm, pmap_ctx(pm)));
if (pmap_ctx(pm)) {
if (pmap_ctx(pmap) == 0) {
cpu_number(), pmap_ctx(pmap)));
dmmu_set_secondary_context(pmap_ctx(pmap));
cpu_number(), pmap_ctx(l->l_proc->p_vmspace->vm_map.pmap)));
KASSERT(pmap_ctx(pm)>=0);
tte.tag = TSB_TAG(0, pmap_ctx(pm), va);
KASSERT(pmap_ctx(pm)>=0);
sp_tlb_flush_pte(va, pmap_ctx(pm));
KASSERT(pmap_ctx(pm)>=0);
if (pmap_ctx(pm)) {
KASSERT(pmap_ctx(pm)>=0);
KASSERT(pmap_ctx(pm)>=0);
KASSERT(pmap_ctx(pm)>=0);
KASSERT(pmap_ctx(pmap)>=0);
(u_long)pmap_ctx(pmap),
KASSERT(pmap_ctx(pmap)>=0);
pv->pv_pmap ? pmap_ctx(pv->pv_pmap) : 0);
KASSERT(pmap_ctx(pmap)>=0);
KASSERT(pmap_ctx(pmap)>=0);
KASSERT(pmap_ctx(pmap)>=0);
KASSERT(pmap_ctx(LIST_FIRST(&curcpu()->ci_pmap_ctxlist)) != 0);
pmap_ctx(pm) = ctx;
KASSERT(pmap_ctx(pv->pv_pmap)>=0);