PMAP_DEFERRED_ACTIVATE
if (__predict_true(!(pmap->pm_flags & PMAP_DEFERRED_ACTIVATE))) {
if (__predict_true(!(pmap->pm_flags & PMAP_DEFERRED_ACTIVATE))) {
pmap->pm_flags |= PMAP_DEFERRED_ACTIVATE;
if (__predict_true((pmap->pm_flags & PMAP_DEFERRED_ACTIVATE) == 0)) {
if (__predict_false(pmap->pm_flags & PMAP_DEFERRED_ACTIVATE)) {
pmap->pm_flags ^= PMAP_DEFERRED_ACTIVATE;