*/
#include <common.h>
-#include <command.h>
/*
* cleanup_before_linux() is called just before we call linux
{
disable_interrupts();
- /* turn off I/D-cache */
-
- return 0;
-}
-
-int do_reset(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[])
-{
- printf("reset unsupported yet\n");
+ cache_flush();
return 0;
}