Searched refs:local_flush_data_cache_page (Results 1 – 6 of 6) sorted by relevance
50 void (*local_flush_data_cache_page)(void * addr); variable54 EXPORT_SYMBOL_GPL(local_flush_data_cache_page);
352 local_flush_data_cache_page = (void *) tx39h_flush_icache_all; in tx39_cache_init()380 local_flush_data_cache_page = local_tx39_flush_data_cache_page; in tx39_cache_init()
310 local_flush_data_cache_page = local_r3k_flush_data_cache_page; in r3k_cache_init()
1867 local_flush_data_cache_page = local_r4k_flush_data_cache_page; in r4k_cache_init()1920 local_flush_data_cache_page = (void *)b5k_instruction_hazard; in r4k_cache_init()1940 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()