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+
14 * cleanup_before_linux() - Prepare the CPU to jump to Linux
16 * This function is called just before we call Linux, it
17 * prepares the processor for linux
19 int cleanup_before_linux(void)