Symbol: pte1_is_managed
sys/arm/arm/pmap-v6.c
3649
if (pte1_is_managed(opte1)) {
sys/arm/arm/pmap-v6.c
3847
if (pte1_is_managed(opte1))
sys/arm/arm/pmap-v6.c
4943
if (pte1_is_managed(opte1) && pte1_is_dirty(opte1)) {
sys/arm/arm/pmap-v6.c
5622
if (!pte1_is_managed(opte1))
sys/arm/arm/pmap-v6.c
6094
(!pte1_is_managed(src_pte1) ||
sys/arm/arm/pmap-v6.c
6256
managed = pte1_is_managed(pte1);