1/* 2 * Copyright (C) 2013-2014 Synopsys, Inc. All rights reserved. 3 * 4 * SPDX-License-Identifier: GPL-2.0+ 5 */ 6 7#include <command.h> 8#include <common.h> 9 10int do_reset(cmd_tbl_t *cmdtp, int flag, int argc, char *const argv[]) 11{ 12 printf("Put your restart handler here\n"); 13 14#ifdef DEBUG 15 /* Stop debug session here */ 16 __asm__("brk"); 17#endif 18 return 0; 19} 20