Searched refs:local_flush_data_cache_page (Results 1 – 6 of 6) sorted by relevance
40 void (*local_flush_data_cache_page)(void * addr); variable44 EXPORT_SYMBOL_GPL(local_flush_data_cache_page);
369 local_flush_data_cache_page = (void *) tx39h_flush_icache_all; in tx39_cache_init()398 local_flush_data_cache_page = local_tx39_flush_data_cache_page; in tx39_cache_init()
327 local_flush_data_cache_page = local_r3k_flush_data_cache_page; in r3k_cache_init()
1403 local_flush_data_cache_page = local_r4k_flush_data_cache_page; in r4k_cache_init()
95 extern void (*local_flush_data_cache_page)(void * addr);
45 local_flush_data_cache_page((void *)addr); in __ide_flush_dcache_range()