Searched refs:r4k_blast_dcache_page_indexed (Results 1 – 1 of 1) sorted by relevance
123 static void (* r4k_blast_dcache_page_indexed)(unsigned long addr); variable130 r4k_blast_dcache_page_indexed = (void *)cache_noop; in r4k_blast_dcache_page_indexed_setup()132 r4k_blast_dcache_page_indexed = blast_dcache16_page_indexed; in r4k_blast_dcache_page_indexed_setup()134 r4k_blast_dcache_page_indexed = blast_dcache32_page_indexed; in r4k_blast_dcache_page_indexed_setup()136 r4k_blast_dcache_page_indexed = blast_dcache64_page_indexed; in r4k_blast_dcache_page_indexed_setup()