Symbol: radix_tlbie_invlpg_kernel_4k
sys/powerpc/aim/mmu_radix.c
1077
radix_tlbie_invlpg_kernel_4k(start);
sys/powerpc/aim/mmu_radix.c
1115
radix_tlbie_invlpg_kernel_4k(start);