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 9__weak void reset_cpu(ulong addr) 10{ 11 /* Stop debug session here */ 12 __builtin_arc_brk(); 13} 14 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