Symbol: pmap_pted_syncicache
sys/arch/powerpc64/powerpc64/pmap.c
1158
pmap_pted_syncicache(pted);
sys/arch/powerpc64/powerpc64/pmap.c
1209
pmap_pted_syncicache(pted);
sys/arch/powerpc64/powerpc64/pmap.c
144
void pmap_pted_syncicache(struct pte_desc *);