Searched refs:r4k_blast_dcache_user_page (Results 1 – 1 of 1) sorted by relevance
184 #define r4k_blast_dcache_user_page r4k_blast_dcache_page macro187 static void (*r4k_blast_dcache_user_page)(unsigned long addr); variable194 r4k_blast_dcache_user_page = (void *)cache_noop; in r4k_blast_dcache_user_page_setup()196 r4k_blast_dcache_user_page = blast_dcache16_user_page; in r4k_blast_dcache_user_page_setup()198 r4k_blast_dcache_user_page = blast_dcache32_user_page; in r4k_blast_dcache_user_page_setup()200 r4k_blast_dcache_user_page = blast_dcache64_user_page; in r4k_blast_dcache_user_page_setup()699 r4k_blast_dcache_user_page(addr); in local_r4k_flush_cache_page()
Completed in 6 milliseconds