// SPDX-License-Identifier: GPL-2.0+ | |
/* | |
* Copyright (C) 2020 Stefan Roese <sr@denx.de> | |
*/ | |
#include <common.h> | |
#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(); | |
} |