Symbol: is_managed
sys/arm/arm/pmap-v6.c
2821
return (is_managed(pte1_pa(pte1)));
sys/arm/arm/pmap-v6.c
2828
return (is_managed(pte2_pa(pte2)));