Searched refs:local_r4k_flush_cache_page (Results 1 – 1 of 1) sorted by relevance
454 static inline void local_r4k_flush_cache_page(void *args) in local_r4k_flush_cache_page() function537 r4k_on_each_cpu(local_r4k_flush_cache_page, &args); in r4k_flush_cache_page()