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