Searched refs:__r4k_flush_icache_range (Results 1 – 1 of 1) sorted by relevance
701 static void __r4k_flush_icache_range(unsigned long start, unsigned long end, in __r4k_flush_icache_range() function738 return __r4k_flush_icache_range(start, end, false); in r4k_flush_icache_range()743 return __r4k_flush_icache_range(start, end, true); in r4k_flush_icache_user_range()