Searched refs:clean_dcache_line (Results 1 – 2 of 2) sorted by relevance
61 clean_dcache_line((void *)v); in clean_dcache_region()96 clean_dcache_line((void *)v); in __flush_icache_range()
38 static inline void clean_dcache_line(void *vaddr) in clean_dcache_line() function