// SPDX-License-Identifier: GPL-2.0+
/*
 * (C) Copyright 2002
 * Sysgo Real-Time Solutions, GmbH <www.elinos.com>
 * Marius Groeger <mgroeger@sysgo.de>
 *
 * (C) Copyright 2002
 * Sysgo Real-Time Solutions, GmbH <www.elinos.com>
 * Alex Zuepke <azu@sysgo.de>
 *
 * (C) Copyright 2002
 * Gary Jennejohn, DENX Software Engineering, <garyj@denx.de>
 *
 * (C) Copyright 2004
 * DAVE Srl
 * http://www.dave-tech.it
 * http://www.wawnet.biz
 * mailto:info@wawnet.biz
 *
 * (C) Copyright 2004 Texas Insturments
 */

#include <common.h>
#include <command.h>
#include <cpu_func.h>
#include <irq_func.h>
#include <linux/delay.h>
#ifdef CONFIG_AMLOGIC_MODIFY
#include <asm/amlogic/arch/cpu_reset.h>
#endif

__weak void reset_misc(void)
{
}

int do_reset(struct cmd_tbl *cmdtp, int flag, int argc, char *const argv[])
{
	puts ("resetting ...\n");

#if	defined(CONFIG_AMLOGIC_MODIFY) && defined(CONFIG_AML_REBOOT)
	run_command("reboot", 0);
#else
	mdelay(50);				/* wait 50 ms */

	disable_interrupts();

	if (!IS_ENABLED(CONFIG_AMLOGIC_MODIFY))
		reset_misc();
	reset_cpu();
#endif
	/*NOTREACHED*/
	return 0;
}