Searched refs:r3k_flush_icache_range (Results 1 – 1 of 1) sorted by relevance
103 static void r3k_flush_icache_range(unsigned long start, unsigned long end) in r3k_flush_icache_range() function224 r3k_flush_icache_range(KSEG0, KSEG0 + icache_size); in r3k___flush_cache_all()261 r3k_flush_icache_range(kaddr, kaddr + PAGE_SIZE); in r3k_flush_cache_page()298 flush_icache_range = r3k_flush_icache_range; in r3k_cache_init()299 local_flush_icache_range = r3k_flush_icache_range; in r3k_cache_init()300 __flush_icache_user_range = r3k_flush_icache_range; in r3k_cache_init()301 __local_flush_icache_user_range = r3k_flush_icache_range; in r3k_cache_init()