Searched refs:local_r4k_flush_icache_range (Results 1 – 1 of 1) sorted by relevance
653 static inline void local_r4k_flush_icache_range(unsigned long start, unsigned long end) in local_r4k_flush_icache_range() function696 local_r4k_flush_icache_range(start, end); in local_r4k_flush_icache_range_ipi()1693 local_flush_icache_range = local_r4k_flush_icache_range; in r4k_cache_init()