pmap_managed
if (pmap_managed(pte)) {
managed = (pmap_managed(&origpte)) ? true : false;
pmap_managed(pte) && pmap_dirty(pte)) {
KASSERT(pmap_managed(pte) != 0);