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 
9 void 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:		Pointer to the setup.bin information for the kernel
18  * @load_address:	Pointer to the start of the kernel image
19  * @image_64bit:	true if the image is a raw 64-bit kernel, false if it
20  *			is raw 32-bit or any type of self-extracting kernel
21  *			such as a bzImage.
22  * @return -ve error code. This function does not return if the kernel was
23  * booted successfully.
24  */
25 int boot_linux_kernel(ulong setup_base, ulong load_address, bool image_64bit);
26 
27 #endif
28