| /* SPDX-License-Identifier: GPL-2.0+ */ |
| * Copyright (c) 2013, Google Inc. |
| void bootm_announce_and_cleanup(void); |
| * boot_linux_kernel() - boot a linux kernel |
| * This boots a kernel image, either 32-bit or 64-bit. It will also work with |
| * a self-extracting kernel, if you set @image_64bit to false. |
| * @setup_base: Pointer to the setup.bin information for the kernel |
| * @load_address: Pointer to the start of the kernel image |
| * @image_64bit: true if the image is a raw 64-bit kernel, false if it |
| * is raw 32-bit or any type of self-extracting kernel |
| * @return -ve error code. This function does not return if the kernel was |
| int boot_linux_kernel(ulong setup_base, ulong load_address, bool image_64bit); |