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