hc
2024-01-05 071106ecf68c401173c58808b1cf5f68cc50d390
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
/*
 * Copyright (C) 2013-2014 Synopsys, Inc. All rights reserved.
 *
 * SPDX-License-Identifier:    GPL-2.0+
 */
 
#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 */
   __asm__("brk");
#endif
   return 0;
}