Searched refs:local_r4k_flush_icache_range_ipi (Results 1 – 1 of 1) sorted by relevance
777 static inline void local_r4k_flush_icache_range_ipi(void *args) in local_r4k_flush_icache_range_ipi() function818 r4k_on_each_cpu(args.type, local_r4k_flush_icache_range_ipi, &args); in __r4k_flush_icache_range()
