Searched refs:local_flush_data_cache_page (Results 1 – 6 of 6) sorted by relevance
49 void (*local_flush_data_cache_page)(void * addr); variable53 EXPORT_SYMBOL_GPL(local_flush_data_cache_page);
347 local_flush_data_cache_page = (void *) tx39h_flush_icache_all; in tx39_cache_init()375 local_flush_data_cache_page = local_tx39_flush_data_cache_page; in tx39_cache_init()
305 local_flush_data_cache_page = local_r3k_flush_data_cache_page; in r3k_cache_init()
1910 local_flush_data_cache_page = local_r4k_flush_data_cache_page; in r4k_cache_init()1963 local_flush_data_cache_page = (void *)b5k_instruction_hazard; in r4k_cache_init()1983 local_flush_data_cache_page = (void *)cache_noop; in r4k_cache_init()
113 extern void (*local_flush_data_cache_page)(void * addr);
45 local_flush_data_cache_page((void *)addr); in __ide_flush_dcache_range()