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