blob: b4087546dd1dc9c58f2aa1e5c26f14720adc912c [file] [log] [blame]
// SPDX-License-Identifier: GPL-2.0+
/*
* Copyright (C) 2020 Stefan Roese <sr@denx.de>
*/
#include <cpu_func.h>
#include <log.h>
#include <spl.h>
void __noreturn jump_to_image_no_args(struct spl_image_info *spl_image)
{
typedef void __noreturn (*image_entry_noargs_t)(void);
image_entry_noargs_t image_entry =
(image_entry_noargs_t)spl_image->entry_point;
/* Flush cache before jumping to application */
flush_cache((unsigned long)spl_image->load_addr, spl_image->size);
debug("image entry point: 0x%lx\n", spl_image->entry_point);
image_entry();
}