__inv_icache_page   33 arch/arc/include/asm/cacheflush.h void __inv_icache_page(phys_addr_t paddr, unsigned long vaddr);
__inv_icache_page 1050 arch/arc/mm/cache.c 		__inv_icache_page(paddr, u_vaddr);
__inv_icache_page  628 arch/arc/mm/tlb.c 				__inv_icache_page(paddr, vaddr);