PMAP_USERCACHECLEAN
pm->pm_flags |= PMAP_USERCACHECLEAN;
if ((pm->pm_flags & PMAP_USERCACHECLEAN) != 0)
if (pm->pm_ctx && (pm->pm_flags & PMAP_USERCACHECLEAN) == 0) {
pm->pm_flags &= ~PMAP_USERCACHECLEAN;
pm->pm_flags &= ~PMAP_USERCACHECLEAN;