Searched refs:flush_data_cache_page (Results 1 – 7 of 7) sorted by relevance
52 void (*flush_data_cache_page)(unsigned long addr); variable55 EXPORT_SYMBOL(flush_data_cache_page);121 flush_data_cache_page(addr); in __flush_dcache_pages()137 flush_data_cache_page((unsigned long)kaddr); in __flush_anon_page()140 flush_data_cache_page(addr); in __flush_anon_page()166 flush_data_cache_page(addr); in __update_cache()
301 flush_data_cache_page = r3k_flush_data_cache_page; in r3k_cache_init()
1745 flush_data_cache_page = r4k_flush_data_cache_page; in r4k_cache_init()1777 flush_data_cache_page = r4k_blast_dcache_page; in r4k_cache_init()1787 flush_data_cache_page = (void *)b5k_instruction_hazard; in r4k_cache_init()1805 flush_data_cache_page = (void *)cache_noop; in r4k_cache_init()
278 flush_data_cache_page = octeon_flush_data_cache_page; in octeon_cache_init()
190 flush_data_cache_page((unsigned long)vto); in copy_user_highpage()
92 extern void (*flush_data_cache_page)(unsigned long addr); in clear_user_page()96 flush_data_cache_page((unsigned long)addr); in clear_user_page()
119 extern void (*flush_data_cache_page)(unsigned long addr);