void soft_reset(void) { writel(0x1, samsung_get_base_swreset()); }
void reset_cpu(ulong addr) { #ifdef CONFIG_CPU_V7A writel(0x1, samsung_get_base_swreset()); #endif }
void reset_cpu(ulong addr) { writel(0x1, samsung_get_base_swreset()); }