Symbol: pte_lookup
sys/arch/powerpc64/powerpc64/pmap.c
1360
pte = pte_lookup(vsid, va);
sys/arch/powerpc64/powerpc64/pmap.c
1458
pte = pte_lookup(vsid, va);
sys/arch/powerpc64/powerpc64/pmap.c
1749
return pte_lookup(vsid, va);