Hello Simon, could you, please, have a look at this warning:
drivers/tee/sandbox.c: In function ‘pta_scp03_invoke_func’:drivers/tee/sandbox.c:138:20: warning: this statement may fall through [-Wimplicit-fallthrough=]
138 | if (params[0].u.value.a)
| ^
drivers/tee/sandbox.c:141:9: note: here
141 | default:
| ^~~~~~~
Either the return statement is incorrectly indented and a fallthrough
macro is missing or the if statement is superfluous.
Best regards Heinrich

