Searched refs:r4k_flush_icache_user_range (Results 1 – 1 of 1) sorted by relevance
828 static void r4k_flush_icache_user_range(unsigned long start, unsigned long end) in r4k_flush_icache_user_range() function1955 __flush_icache_user_range = r4k_flush_icache_user_range;
