diff options
Diffstat (limited to 'include/spl.h')
| -rw-r--r-- | include/spl.h | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/include/spl.h b/include/spl.h index 7ddb2abe0fb..0af0ee30034 100644 --- a/include/spl.h +++ b/include/spl.h @@ -469,6 +469,15 @@ int spl_board_boot_device(u32 boot_device); void __noreturn jump_to_image_linux(struct spl_image_info *spl_image); /** + * jump_to_image_linux() - Jump to OP-TEE OS from SPL + * + * This jumps into OP-TEE OS using the information in @spl_image. + * + * @spl_image: Image description to set up + */ +void __noreturn jump_to_image_optee(struct spl_image_info *spl_image); + +/** * spl_start_uboot() - Check if SPL should start the kernel or U-Boot * * This is called by the various SPL loaders to determine whether the board @@ -759,7 +768,7 @@ struct bl_params *bl2_plat_get_bl31_params_v2_default(uintptr_t bl32_entry, * @arg2: device tree address, (ARMv7 standard bootarg #2) * @arg3: non-secure entry address (ARMv7 bootarg #0) */ -void spl_optee_entry(void *arg0, void *arg1, void *arg2, void *arg3); +void __noreturn spl_optee_entry(void *arg0, void *arg1, void *arg2, void *arg3); /** * spl_invoke_opensbi - boot using a RISC-V OpenSBI image |