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