__tlbil_va         62 arch/powerpc/mm/mmu_decl.h extern void __tlbil_va(unsigned long address, unsigned int pid);
__tlbil_va         66 arch/powerpc/mm/mmu_decl.h 	__tlbil_va(address, pid);