Symbol: pte_insert
sys/arch/powerpc64/powerpc64/pmap.c
1135
pte_insert(pted);
sys/arch/powerpc64/powerpc64/pmap.c
1344
pte_insert(&pted);