Searched refs:__local_r4k_flush_icache_range (Results 1 – 1 of 1) sorted by relevance
| /Linux-v4.19/arch/mips/mm/ |
| D | c-r4k.c | 728 static inline void __local_r4k_flush_icache_range(unsigned long start, in __local_r4k_flush_icache_range() function
768 __local_r4k_flush_icache_range(start, end, R4K_HIT | R4K_INDEX, false); in local_r4k_flush_icache_range()
774 __local_r4k_flush_icache_range(start, end, R4K_HIT | R4K_INDEX, true); in local_r4k_flush_icache_user_range()
785 __local_r4k_flush_icache_range(start, end, type, user); in local_r4k_flush_icache_range_ipi()
|
