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