Symbol: pte2_is_managed
sys/arm/arm/pmap-v6.c
3475
if (pte2_is_managed(fpte2) && pmap == kernel_pmap) {
sys/arm/arm/pmap-v6.c
3547
if (pte2_is_managed(fpte2))
sys/arm/arm/pmap-v6.c
4137
if (pte2_is_managed(opte2)) {
sys/arm/arm/pmap-v6.c
5069
if (pte2_is_managed(opte2) &&
sys/arm/arm/pmap-v6.c
5658
if (!pte2_is_valid(pte2) || !pte2_is_managed(pte2))
sys/arm/arm/pmap-v6.c
6132
if (pte2_is_managed(temp_pte2)) {
sys/arm/arm/pmap-v6.c
6267
managed = pte2_is_managed(pte2);