Searched refs:r4k_blast_dcache_page (Results 1 – 1 of 1) sorted by relevance
125 static void (*r4k_blast_dcache_page)(unsigned long addr); variable 149 r4k_blast_dcache_page = (void *)cache_noop; in r4k_blast_dcache_page_setup() 152 r4k_blast_dcache_page = blast_dcache16_page; in r4k_blast_dcache_page_setup() 155 r4k_blast_dcache_page = r4k_blast_dcache_page_dc32; in r4k_blast_dcache_page_setup() 158 r4k_blast_dcache_page = r4k_blast_dcache_page_dc64; in r4k_blast_dcache_page_setup() 161 r4k_blast_dcache_page = r4k_blast_dcache_page_dc128; in r4k_blast_dcache_page_setup() 169 #define r4k_blast_dcache_user_page r4k_blast_dcache_page587 vaddr ? r4k_blast_dcache_page(addr) : in local_r4k_flush_cache_page() 622 r4k_blast_dcache_page((unsigned long) addr); in local_r4k_flush_data_cache_page() 1777 flush_data_cache_page = r4k_blast_dcache_page; in r4k_cache_init() [all...]