1 // SPDX-License-Identifier: GPL-2.0+
11 void __noreturn jump_to_image_no_args(struct spl_image_info *spl_image)
13 typedef void __noreturn (*image_entry_noargs_t)(void);
14 image_entry_noargs_t image_entry =
15 (image_entry_noargs_t)spl_image->entry_point;
17 /* Flush cache before jumping to application */
18 flush_cache((unsigned long)spl_image->load_addr, spl_image->size);
20 debug("image entry point: 0x%lx\n", spl_image->entry_point);