invalidate_tcache_page   60 arch/mips/mm/sc-rm7k.c 		invalidate_tcache_page(a);	/* Page_Invalidate_T */
invalidate_tcache_page   84 arch/mips/mm/sc-rm7k.c 		invalidate_tcache_page(a);	/* Page_Invalidate_T */