/*
 * Copyright (c) 2013, Google Inc.
 *
 * SPDX-License-Identifier:	GPL-2.0+
 */

#ifndef ARM_BOOTM_H
#define ARM_BOOTM_H

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
 *			such as a bzImage.
 * @return -ve error code. This function does not return if the kernel was
 * booted successfully.
 */
int boot_linux_kernel(ulong setup_base, ulong load_address, bool image_64bit);

#endif