Searched refs:local_flush_data_cache_page (Results 1 – 6 of 6) sorted by relevance
51 void (*local_flush_data_cache_page)(void * addr); variable55 EXPORT_SYMBOL_GPL(local_flush_data_cache_page);
372 local_flush_data_cache_page = (void *) tx39h_flush_icache_all; in tx39_cache_init()401 local_flush_data_cache_page = local_tx39_flush_data_cache_page; in tx39_cache_init()
335 local_flush_data_cache_page = local_r3k_flush_data_cache_page; in r3k_cache_init()
1951 local_flush_data_cache_page = local_r4k_flush_data_cache_page;2006 local_flush_data_cache_page = (void *)b5k_instruction_hazard;2027 local_flush_data_cache_page = (void *)cache_noop;
115 extern void (*local_flush_data_cache_page)(void * addr);
45 local_flush_data_cache_page((void *)addr); in __ide_flush_dcache_range()
