Searched refs:local_r4k_flush_data_cache_page (Results 1 – 1 of 1) sorted by relevance
729 static inline void local_r4k_flush_data_cache_page(void * addr) in local_r4k_flush_data_cache_page() function737 local_r4k_flush_data_cache_page((void *)addr); in r4k_flush_data_cache_page()739 r4k_on_each_cpu(R4K_HIT, local_r4k_flush_data_cache_page, in r4k_flush_data_cache_page()1867 local_flush_data_cache_page = local_r4k_flush_data_cache_page; in r4k_cache_init()
