void cpu_reset() { rk30_wd_watchdog_reset(); printf("Reset failed!\n"); while (1); }
static void rk30xx_cpu_reset(platform_t plat) { rk30_wd_watchdog_reset(); printf("Reset failed!\n"); while (1); }