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