// SPDX-License-Identifier: GPL-2.0+/* * Copyright (C) 2013-2014 Synopsys, Inc. All rights reserved. */#include<command.h>#include<common.h>intdo_reset(cmd_tbl_t*cmdtp,intflag,intargc,char*constargv[]){printf("Put your restart handler here\n");#ifdef DEBUG/* Stop debug session here */__asm__("brk");#endifreturn0;}