1/* SPDX-License-Identifier: GPL-2.0+ */
2/*
3 * Copyright (c) 2013, Google Inc.
4 */
5
6#ifndef ARM_BOOTM_H
7#define ARM_BOOTM_H
8
9void bootm_announce_and_cleanup(void);
10
11/**
12 * boot_linux_kernel() - boot a linux kernel
13 *
14 * This boots a kernel image, either 32-bit or 64-bit. It will also work with
15 * a self-extracting kernel, if you set @image_64bit to false.
16 *
17 * @setup_base:		Address of the setup.bin information for the kernel
18 * @entry:		Address of the kernel entry point
19 * @image_64bit:	true if the image is a raw 64-bit kernel, or a kernel
20 * which supports booting in 64-bit mode; false if it is raw 32-bit or any type
21 * of self-extracting kernel such as a bzImage.
22 * Return: -ve error code. This function does not return if the kernel was
23 * booted successfully.
24 */
25int boot_linux_kernel(ulong setup_base, ulong entry, bool image_64bit);
26
27#endif
28