| // 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 ... |
| static void cache_flush (void) |
| #if !(defined(CONFIG_SYS_ICACHE_OFF) && defined(CONFIG_SYS_DCACHE_OFF)) |
| asm ("mcr p15, 0, %0, c7, c7, 0": :"r" (i)); |