Searched refs:__local_r4k_flush_icache_range (Results 1 – 1 of 1) sorted by relevance
| /Linux-v5.15/arch/mips/mm/ |
| D | c-r4k.c | 752 static inline void __local_r4k_flush_icache_range(unsigned long start, in __local_r4k_flush_icache_range() function
792 __local_r4k_flush_icache_range(start, end, R4K_HIT | R4K_INDEX, false); in local_r4k_flush_icache_range()
798 __local_r4k_flush_icache_range(start, end, R4K_HIT | R4K_INDEX, true); in local_r4k_flush_icache_user_range()
809 __local_r4k_flush_icache_range(start, end, type, user); in local_r4k_flush_icache_range_ipi()
|
