17 __weak void flush_cache(unsigned long start, unsigned long size)  in flush_cache()  argument
19 	flush_dcache_range(start, start + size);  in flush_cache()
40 __weak void invalidate_dcache_range(unsigned long start, unsigned long stop)  in invalidate_dcache_range()  argument
44 __weak void flush_dcache_range(unsigned long start, unsigned long stop)  in flush_dcache_range()  argument
49 int check_cache_range(unsigned long start, unsigned long stop)  in check_cache_range()  argument
53 	if (start & (CONFIG_SYS_CACHELINE_SIZE - 1))  in check_cache_range()
61 			     start, stop);  in check_cache_range()
78 	phys_addr_t start, end;  in noncached_init()  local
83 	start = end - size;  in noncached_init()
85 	debug("mapping memory %pa-%pa non-cached\n", &start, &end);  in noncached_init()
87 	noncached_start = start;  in noncached_init()
89 	noncached_next = start;  in noncached_init()