driver: add dev_name inline
[barebox-mini2440.git] / include / cache.h
blob5968da907f62338e61fd91ca974700fb2c4e098f
1 #ifndef __CACHE_H
2 #define __CACHE_H
4 void flush_cache (unsigned long, unsigned long);
5 int icache_status (void);
6 void icache_enable (void);
7 void icache_disable(void);
8 int dcache_status (void);
9 void dcache_enable (void);
10 void dcache_disable(void);
11 int checkicache (void);
12 int checkdcache (void);
14 #endif /* __CACHE_H */