Searched refs:local_r4k_flush_icache_user_range (Results 1 – 1 of 1) sorted by relevance
771 static inline void local_r4k_flush_icache_user_range(unsigned long start, in local_r4k_flush_icache_user_range() function1956 __local_flush_icache_user_range = local_r4k_flush_icache_user_range;
