pte2_is_managed
if (pte2_is_managed(fpte2) && pmap == kernel_pmap) {
if (pte2_is_managed(fpte2))
if (pte2_is_managed(opte2)) {
if (pte2_is_managed(opte2) &&
if (!pte2_is_valid(pte2) || !pte2_is_managed(pte2))
if (pte2_is_managed(temp_pte2)) {
managed = pte2_is_managed(pte2);