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 */