Searched refs:local_r4k_flush_cache_range (Results 1 – 1 of 1) sorted by relevance
394 static inline void local_r4k_flush_cache_range(void * args) in local_r4k_flush_cache_range() function413 r4k_on_each_cpu(local_r4k_flush_cache_range, vma); in r4k_flush_cache_range()