Symbol: pmap_ava
sys/arch/powerpc64/powerpc64/pmap.c
1362
pte_del(pte, pmap_ava(vsid, va));
sys/arch/powerpc64/powerpc64/pmap.c
257
return pmap_ava(pted->pted_vsid, pted->pted_va);