1*83d290c5STom Rini // SPDX-License-Identifier: GPL-2.0+ 2660d5f0dSAlexey Brodkin /* 3660d5f0dSAlexey Brodkin * Copyright (C) 2013-2014 Synopsys, Inc. All rights reserved. 4660d5f0dSAlexey Brodkin */ 5660d5f0dSAlexey Brodkin 6660d5f0dSAlexey Brodkin #include <command.h> 7660d5f0dSAlexey Brodkin #include <common.h> 8660d5f0dSAlexey Brodkin 9660d5f0dSAlexey Brodkin int do_reset(cmd_tbl_t *cmdtp, int flag, int argc, char *const argv[]) 10660d5f0dSAlexey Brodkin { 11660d5f0dSAlexey Brodkin printf("Put your restart handler here\n"); 12660d5f0dSAlexey Brodkin 13660d5f0dSAlexey Brodkin #ifdef DEBUG 14660d5f0dSAlexey Brodkin /* Stop debug session here */ 15660d5f0dSAlexey Brodkin __asm__("brk"); 16660d5f0dSAlexey Brodkin #endif 17660d5f0dSAlexey Brodkin return 0; 18660d5f0dSAlexey Brodkin } 19