pte1_is_managed
if (pte1_is_managed(opte1)) {
if (pte1_is_managed(opte1))
if (pte1_is_managed(opte1) && pte1_is_dirty(opte1)) {
if (!pte1_is_managed(opte1))
(!pte1_is_managed(src_pte1) ||
managed = pte1_is_managed(pte1);