Symbol: PTED_MANAGED
sys/arch/arm64/arm64/pmap.c
738
if (PTED_MANAGED(pted))
sys/arch/arm64/arm64/pmap.c
832
if (PTED_MANAGED(pted))
sys/arch/powerpc/powerpc/pmap.c
2023
if (PTED_MANAGED(pted)) { /* XXX */
sys/arch/powerpc/powerpc/pmap.c
2064
if (PTED_MANAGED(pted)) { /* XXX */
sys/arch/powerpc/powerpc/pmap.c
690
if (PTED_MANAGED(pted))
sys/arch/powerpc/powerpc/pmap.c
861
if (!PTED_MANAGED(pted))
sys/arch/powerpc64/powerpc64/pmap.c
895
if (PTED_MANAGED(pted))
sys/arch/riscv64/riscv64/pmap.c
669
if (PTED_MANAGED(pted))
sys/arch/riscv64/riscv64/pmap.c
776
if (PTED_MANAGED(pted))