4 * http://www.dave-tech.it
5 * http://www.wawnet.biz
6 * mailto:info@wawnet.biz
8 * SPDX-License-Identifier: GPL-2.0+
12 * S3C44B0 CPU specific code
17 #include <asm/hardware.h>
19 int arch_cpu_init (void)
26 int cleanup_before_linux (void)
29 cache memory should be enabled before calling
30 Linux to make the kernel uncompression faster
34 disable_interrupts ();
39 void reset_cpu (ulong addr)
42 reset the cpu using watchdog
45 /* Disable the watchdog.*/
48 /* set the timeout value to a short time... */
51 /* Enable the watchdog. */