__tlbiel_va       423 arch/powerpc/mm/book3s64/radix_tlb.c 		__tlbiel_va(addr, pid, ap, RIC_FLUSH_TLB);
__tlbiel_va       432 arch/powerpc/mm/book3s64/radix_tlb.c 	__tlbiel_va(va, pid, ap, ric);