1 // SPDX-License-Identifier: GPL-2.0+
2 /*
3  * Copyright (C) 2013-2014 Synopsys, Inc. All rights reserved.
4  */
5 
6 #include <command.h>
7 #include <common.h>
8 #include <cpu_func.h>
9 
reset_cpu(ulong addr)10 __weak void reset_cpu(ulong addr)
11 {
12 	/* Stop debug session here */
13 	__builtin_arc_brk();
14 }
15 
do_reset(struct cmd_tbl * cmdtp,int flag,int argc,char * const argv[])16 int do_reset(struct cmd_tbl *cmdtp, int flag, int argc, char *const argv[])
17 {
18 	printf("Resetting the board...\n");
19 
20 	reset_cpu(0);
21 
22 	return 0;
23 }
24