Symbol: pmap_pted2ava
sys/arch/powerpc64/powerpc64/pmap.c
1223
pte_del(pte, pmap_pted2ava(pted));
sys/arch/powerpc64/powerpc64/pmap.c
709
pte_del(pte, pmap_pted2ava(pted));