blob: 7559ac657f40384dded344006b8a7076e5b68c0e [file] [log] [blame]
wdenkc0218802003-03-27 12:09:35 +00001/*
2 * (C) Copyright 2003
3 * Wolfgang Denk, DENX Software Engineering, <wd@denx.de>
4 *
5 * See file CREDITS for list of people who contributed to this
6 * project.
7 *
8 * This program is free software; you can redistribute it and/or
9 * modify it under the terms of the GNU General Public License as
10 * published by the Free Software Foundation; either version 2 of
11 * the License, or (at your option) any later version.
12 *
13 * This program is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 * GNU General Public License for more details.
17 *
18 * You should have received a copy of the GNU General Public License
19 * along with this program; if not, write to the Free Software
20 * Foundation, Inc., 59 Temple Place, Suite 330, Boston,
21 * MA 02111-1307 USA
22 */
23
24#include <common.h>
25#include <command.h>
26#include <asm/inca-ip.h>
wdenk5da627a2003-10-09 20:09:04 +000027#include <asm/mipsregs.h>
wdenkc0218802003-03-27 12:09:35 +000028
29int do_reset(cmd_tbl_t *cmdtp, int flag, int argc, char *argv[])
30{
wdenk3e386912003-04-05 00:53:31 +000031#if defined(CONFIG_INCA_IP)
wdenkc0218802003-03-27 12:09:35 +000032 *INCA_IP_WDT_RST_REQ = 0x3f;
wdenkf4863a72004-02-07 01:27:10 +000033#elif defined(CONFIG_PURPLE) || defined(CONFIG_TB0229)
wdenk3e386912003-04-05 00:53:31 +000034 void (*f)(void) = (void *) 0xbfc00000;
35
36 f();
wdenkc0218802003-03-27 12:09:35 +000037#endif
38 fprintf(stderr, "*** reset failed ***\n");
39 return 0;
40}
41
Shinya Kuribayashi03c031d2007-10-27 15:27:06 +090042void flush_cache(ulong start_addr, ulong size)
wdenkc0218802003-03-27 12:09:35 +000043{
wdenkc0218802003-03-27 12:09:35 +000044}
wdenk5da627a2003-10-09 20:09:04 +000045
Shinya Kuribayashi03c031d2007-10-27 15:27:06 +090046void write_one_tlb(int index, u32 pagemask, u32 hi, u32 low0, u32 low1)
47{
wdenk5da627a2003-10-09 20:09:04 +000048 write_32bit_cp0_register(CP0_ENTRYLO0, low0);
49 write_32bit_cp0_register(CP0_PAGEMASK, pagemask);
50 write_32bit_cp0_register(CP0_ENTRYLO1, low1);
51 write_32bit_cp0_register(CP0_ENTRYHI, hi);
52 write_32bit_cp0_register(CP0_INDEX, index);
53 tlb_write_indexed();
54}