static void imx53_cpu_reset(platform_t plat) { imx_wdog_cpu_reset(0x53F98000); }
void cpu_reset(void) { imx_wdog_cpu_reset(0x73F98000); }