Searched refs:local_r4k_flush_cache_mm (Results 1 – 1 of 1) sorted by relevance
580 static inline void local_r4k_flush_cache_mm(void * args) in local_r4k_flush_cache_mm() function609 r4k_on_each_cpu(R4K_INDEX, local_r4k_flush_cache_mm, mm); in r4k_flush_cache_mm()
