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 10 int 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