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 reset_cpu(ulong addr)9__weak void reset_cpu(ulong addr) 10 { 11 /* Stop debug session here */ 12 __builtin_arc_brk(); 13 } 14 do_reset(cmd_tbl_t * cmdtp,int flag,int argc,char * const argv[])15int do_reset(cmd_tbl_t *cmdtp, int flag, int argc, char *const argv[]) 16 { 17 printf("Resetting the board...\n"); 18 19 reset_cpu(0); 20 21 return 0; 22 } 23