Searched refs:__local_r4k_flush_icache_range (Results 1 – 1 of 1) sorted by relevance
| /linux-6.12.1/arch/mips/mm/ |
| D | c-r4k.c | 641 static inline void __local_r4k_flush_icache_range(unsigned long start, in __local_r4k_flush_icache_range() function
681 __local_r4k_flush_icache_range(start, end, R4K_HIT | R4K_INDEX, false); in local_r4k_flush_icache_range()
687 __local_r4k_flush_icache_range(start, end, R4K_HIT | R4K_INDEX, true); in local_r4k_flush_icache_user_range()
698 __local_r4k_flush_icache_range(start, end, type, user); in local_r4k_flush_icache_range_ipi()
|