Searched refs:protected_writeback_dcache_line (Results 1 – 5 of 5) sorted by relevance
252 protected_writeback_dcache_line(addr); in tx39_flush_icache_range()364 protected_writeback_dcache_line(addr & ~(dc_lsize - 1)); in tx39_flush_cache_sigtramp()
395 protected_writeback_dcache_line(addr); in r4k_flush_icache_range()580 protected_writeback_dcache_line(addr & ~(dc_lsize - 1)); in r4k_flush_cache_sigtramp()
92 static inline void protected_writeback_dcache_line(unsigned long addr) in protected_writeback_dcache_line() function