| * (C) Copyright 2008 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+ |
| #include <linux/compiler.h> |
| int cleanup_before_linux(void) |
| * this function is called just before we call linux |
| * it prepares the processor for linux |
| * disable interrupt and turn off caches etc ... |
| * Turn off I-cache and invalidate it |
| * dcache_disable() in turn flushes the d-cache and disables MMU |