14  * Affects the range [start, start + size - 1].
16 __weak void flush_cache(unsigned long start, unsigned long size)  in flush_cache()  argument
18 	flush_dcache_range(start, start + size);  in flush_cache()
39 __weak void invalidate_dcache_range(unsigned long start, unsigned long stop)  in invalidate_dcache_range()  argument
43 __weak void flush_dcache_range(unsigned long start, unsigned long stop)  in flush_dcache_range()  argument
48 int check_cache_range(unsigned long start, unsigned long stop)  in check_cache_range()  argument
52 	if (start & (CONFIG_SYS_CACHELINE_SIZE - 1))  in check_cache_range()
60 			     start, stop);  in check_cache_range()
77 	phys_addr_t start, end;  in noncached_init()  local
82 	start = end - size;  in noncached_init()
84 	debug("mapping memory %pa-%pa non-cached\n", &start, &end);  in noncached_init()
86 	noncached_start = start;  in noncached_init()
88 	noncached_next = start;  in noncached_init()