berlin_tools/bootloader/common/include/cache.h

#ifndef __CACHE_H__
#define	__CACHE_H__

void flush_dcache_all(void);
void flush_dcache_range(void *start, void *end);
void invalidate_dcache_all(void);

#endif /* __CACHE_H__ */