Searched refs:local_flush_data_cache_page (Results 1 – 6 of 6) sorted by relevance
46 void (*local_flush_data_cache_page)(void * addr); variable50 EXPORT_SYMBOL_GPL(local_flush_data_cache_page);
371 local_flush_data_cache_page = (void *) tx39h_flush_icache_all; in tx39_cache_init()400 local_flush_data_cache_page = local_tx39_flush_data_cache_page; in tx39_cache_init()
332 local_flush_data_cache_page = local_r3k_flush_data_cache_page; in r3k_cache_init()
1693 local_flush_data_cache_page = local_r4k_flush_data_cache_page; in r4k_cache_init()1741 local_flush_data_cache_page = (void *)b5k_instruction_hazard; in r4k_cache_init()
110 extern void (*local_flush_data_cache_page)(void * addr);
45 local_flush_data_cache_page((void *)addr); in __ide_flush_dcache_range()