| // 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(); |
| } |