PM_ACTIVE
if (pmap->pm_flags & PM_ACTIVE) {
if (pv->pv_pmap->pm_flags & PM_ACTIVE)
KASSERT((pmap->pm_flags & PM_ACTIVE) == 0);
pmap->pm_flags |= PM_ACTIVE;
KASSERT(pmap->pm_flags & PM_ACTIVE);
pmap->pm_flags &=~ PM_ACTIVE;
if (pv->pv_pmap->pm_flags & PM_ACTIVE)
if (pv->pv_pmap->pm_flags & PM_ACTIVE)
pmap->pm_flags = PM_ACTIVE; /* kernel pmap is always active */
KASSERT((pmap->pm_flags & PM_ACTIVE) == 0);
if (pv->pv_pmap->pm_flags & PM_ACTIVE)
if (pmap->pm_flags & PM_ACTIVE)