Fixed cache management.

2012-10-20 14:29:57 +00:00
parent f56e5efee7
commit 86318c0fed
5 changed files with 16 additions and 95 deletions
--- a/sources/cache.h
+++ b/sources/cache.h
@@ -3,7 +3,6 @@

 #include <stdint.h>

-extern void flushDataCacheRegion(void *adr, uint32_t length);
-extern void flushInstructionCacheRegion(void *adr, uint32_t length);
+extern void flush_and_invalidate_caches(void);

 #endif /* _CACHE_H_ */