Symbol: radix_tlbie_invlpg_user_4k
sys/powerpc/aim/mmu_radix.c
1079
radix_tlbie_invlpg_user_4k(pmap->pm_pid, start);
sys/powerpc/aim/mmu_radix.c
1120
radix_tlbie_invlpg_user_4k(pmap->pm_pid, start);