Searched refs:flush_data_cache_page (Results 1 – 7 of 7) sorted by relevance
52 void (*flush_data_cache_page)(unsigned long addr); variable56 EXPORT_SYMBOL(flush_data_cache_page);105 flush_data_cache_page(addr); in __flush_dcache_page()122 flush_data_cache_page((unsigned long)kaddr); in __flush_anon_page()125 flush_data_cache_page(addr); in __flush_anon_page()148 flush_data_cache_page(addr); in __update_cache()
306 flush_data_cache_page = r3k_flush_data_cache_page; in r3k_cache_init()
273 flush_data_cache_page = octeon_flush_data_cache_page; in octeon_cache_init()
1907 flush_data_cache_page = r4k_flush_data_cache_page; in r4k_cache_init()1945 flush_data_cache_page = r4k_blast_dcache_page; in r4k_cache_init()1956 flush_data_cache_page = (void *)b5k_instruction_hazard; in r4k_cache_init()1974 flush_data_cache_page = (void *)cache_noop; in r4k_cache_init()
187 flush_data_cache_page((unsigned long)vto); in copy_user_highpage()
106 extern void (*flush_data_cache_page)(unsigned long addr); in clear_user_page()110 flush_data_cache_page((unsigned long)addr); in clear_user_page()
114 extern void (*flush_data_cache_page)(unsigned long addr);