Searched refs:r4k_blast_scache_page (Results 1 – 1 of 1) sorted by relevance
414 static void (* r4k_blast_scache_page)(unsigned long addr); variable421 r4k_blast_scache_page = (void *)cache_noop; in r4k_blast_scache_page_setup()423 r4k_blast_scache_page = blast_scache16_page; in r4k_blast_scache_page_setup()425 r4k_blast_scache_page = blast_scache32_page; in r4k_blast_scache_page_setup()427 r4k_blast_scache_page = blast_scache64_page; in r4k_blast_scache_page_setup()429 r4k_blast_scache_page = blast_scache128_page; in r4k_blast_scache_page_setup()701 r4k_blast_scache_page(addr); in local_r4k_flush_cache_page()
Completed in 8 milliseconds