Searched refs:local_r4k_flush_icache_range_ipi (Results 1 – 1 of 1) sorted by relevance
575 static inline void local_r4k_flush_icache_range_ipi(void *args) in local_r4k_flush_icache_range_ipi() function591 r4k_on_each_cpu(local_r4k_flush_icache_range_ipi, &args); in r4k_flush_icache_range()