3 * Sysgo Real-Time Solutions, GmbH <www.elinos.com>
4 * Marius Groeger <mgroeger@sysgo.de>
7 * Sysgo Real-Time Solutions, GmbH <www.elinos.com>
8 * Alex Zuepke <azu@sysgo.de>
10 * SPDX-License-Identifier: GPL-2.0+
20 #include <asm/arch/ixp425.h>
21 #include <asm/system.h>
23 static void cache_flush(void);
25 #if defined(CONFIG_DISPLAY_CPUINFO)
26 int print_cpuinfo (void)
31 asm ("mrc p15, 0, %0, c0, c0, 0":"=r" (id));
33 puts("CPU: Intel IXP425 at ");
34 switch ((id & 0x000003f0) >> 4) {
49 printf("%d MHz\n", speed);
51 puts("unknown revision\n");
55 #endif /* CONFIG_DISPLAY_CPUINFO */
57 int cleanup_before_linux (void)
60 * this function is called just before we call linux
61 * it prepares the processor for linux
63 * just disable everything that can disturb booting linux
66 disable_interrupts ();
68 /* turn off I-cache */
79 static void cache_flush (void)
83 asm ("mcr p15, 0, %0, c7, c5, 0": :"r" (i));
94 int cpu_eth_init(bd_t *bis)
96 #ifdef CONFIG_IXP4XX_NPE