PMAP_FLAG_SIMPLE
pmap->pm_flags = PMAP_FLAG_SIMPLE;
pmap->pm_flags &= ~PMAP_FLAG_SIMPLE;
if (pmap->pm_flags & PMAP_FLAG_SIMPLE) {
if ((pmap->pm_flags & PMAP_FLAG_SIMPLE) == 0)
KKASSERT(pmap->pm_flags & PMAP_FLAG_SIMPLE);
if ((pmap->pm_flags & PMAP_FLAG_SIMPLE) == 0 &&
if (pmap->pm_flags & PMAP_FLAG_SIMPLE) {