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 int do_reset(cmd_tbl_t *cmdtp, int flag, int argc, char *const argv[]) 10 { 11 printf("Put your restart handler here\n"); 12 13 #ifdef DEBUG 14 /* Stop debug session here */ 15 __asm__("brk"); 16 #endif 17 return 0; 18 } 19