| // SPDX-License-Identifier: GPL-2.0+ |
| * Sysgo Real-Time Solutions, GmbH <www.elinos.com> |
| * Marius Groeger <mgroeger@sysgo.de> |
| * Gary Jennejohn, DENX Software Engineering, <garyj@denx.de> |
| static void cache_flush(void); |
| int cleanup_before_linux (void) |
| * this function is called just before we call linux |
| * it prepares the processor for linux |
| * we turn off caches etc ... |
| /* ARM926E-S needs the protection unit enabled for the icache to have |
| * been enabled - left for possible later use |
| * should turn off the protection unit as well.... |
| static void cache_flush (void) |
| asm ("mcr p15, 0, %0, c7, c5, 0": :"r" (i)); |
| asm ("mcr p15, 0, %0, c7, c6, 0": :"r" (i)); |
| #ifndef CONFIG_ARCH_INTEGRATOR |
| __attribute__((noreturn)) void reset_cpu(ulong addr __attribute__((unused))) |
| #endif /* #ifdef CONFIG_ARCH_INTEGRATOR */ |