2 * Copyright (C) 2013-2014 Synopsys, Inc. All rights reserved.
4 * SPDX-License-Identifier: GPL-2.0+
10 int do_reset(cmd_tbl_t *cmdtp, int flag, int argc, char *const argv[])
12 printf("Put your restart handler here\n");
15 /* Stop debug session here */