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