Symbol: _tlbie_va
arch/powerpc/mm/book3s64/radix_tlb.c
512
_tlbie_va(va, pid, psize, RIC_FLUSH_TLB);
arch/powerpc/mm/book3s64/radix_tlb.c
938
_tlbie_va(vmaddr, pid, psize, RIC_FLUSH_TLB);