Пример #1
0
void
cpu_reset()
{

	rk30_wd_watchdog_reset();
	printf("Reset failed!\n");
	while (1);
}
Пример #2
0
static void
rk30xx_cpu_reset(platform_t plat)
{

	rk30_wd_watchdog_reset();
	printf("Reset failed!\n");
	while (1);
}