|
@@ -37,7 +37,7 @@ int do_reset (cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[])
|
|
|
|
|
|
void flush_cache (unsigned long addr, unsigned long size)
|
|
void flush_cache (unsigned long addr, unsigned long size)
|
|
{
|
|
{
|
|
- invalidate_dcache_range(addr , addr + size);
|
|
|
|
|
|
+ flush_dcache_range(addr , addr + size);
|
|
}
|
|
}
|
|
|
|
|
|
void icache_enable (void)
|
|
void icache_enable (void)
|