r4k_blast_icache_user_page  337 arch/mips/mm/c-r4k.c static void (*r4k_blast_icache_user_page)(unsigned long addr);
r4k_blast_icache_user_page  344 arch/mips/mm/c-r4k.c 		r4k_blast_icache_user_page = (void *)cache_noop;
r4k_blast_icache_user_page  346 arch/mips/mm/c-r4k.c 		r4k_blast_icache_user_page = blast_icache16_user_page;
r4k_blast_icache_user_page  348 arch/mips/mm/c-r4k.c 		r4k_blast_icache_user_page = blast_icache32_user_page;
r4k_blast_icache_user_page  350 arch/mips/mm/c-r4k.c 		r4k_blast_icache_user_page = blast_icache64_user_page;
r4k_blast_icache_user_page  706 arch/mips/mm/c-r4k.c 				r4k_blast_icache_user_page(addr);