r4k_blast_dcache_user_page  187 arch/mips/mm/c-r4k.c static void (*r4k_blast_dcache_user_page)(unsigned long addr);
r4k_blast_dcache_user_page  194 arch/mips/mm/c-r4k.c 		r4k_blast_dcache_user_page = (void *)cache_noop;
r4k_blast_dcache_user_page  196 arch/mips/mm/c-r4k.c 		r4k_blast_dcache_user_page = blast_dcache16_user_page;
r4k_blast_dcache_user_page  198 arch/mips/mm/c-r4k.c 		r4k_blast_dcache_user_page = blast_dcache32_user_page;
r4k_blast_dcache_user_page  200 arch/mips/mm/c-r4k.c 		r4k_blast_dcache_user_page = blast_dcache64_user_page;
r4k_blast_dcache_user_page  697 arch/mips/mm/c-r4k.c 			r4k_blast_dcache_user_page(addr);