| * (C) Copyright 2004 Texas Insturments |
| * Sysgo Real-Time Solutions, GmbH <www.elinos.com> |
| * Marius Groeger <mgroeger@sysgo.de> |
| * Gary Jennejohn, DENX Software Engineering, <garyj@denx.de> |
| * SPDX-License-Identifier: GPL-2.0+ |
| 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) |
| /* invalidate both caches and flush btb */ |
| asm ("mcr p15, 0, %0, c7, c7, 0": :"r" (0)); |
| /* mem barrier to sync things */ |
| asm ("mcr p15, 0, %0, c7, c10, 4": :"r" (0)); |