[PATCH v2 1/2] spl: make function spl_optee_entry() noreturn

[Oleksandr Suvorov]

This function makes a one-way jump into an OP-TEE OS and doesn't
return control to its parent.

Fixes: 1ca431d72a ("[FIO fromlist] arm: spl: flush and disable cache before jumping to OPTEE")
Signed-off-by: Oleksandr Suvorov <oleksandr.suvorov at foundries.io>
---

(no changes since v1)

 include/spl.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/spl.h b/include/spl.h
index afbf39bef4..bac897fc81 100644
--- a/include/spl.h
+++ b/include/spl.h
@@ -751,7 +751,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
-- 
2.31.1