Symbol: slb_cache_slbie_user
arch/powerpc/mm/book3s64/slb.c
407
slb_cache_slbie_user(i);
arch/powerpc/mm/book3s64/slb.c
411
slb_cache_slbie_user(0);