Symbol: optee_system_session
drivers/tee/optee/optee_private.h
329
int optee_system_session(struct tee_context *ctx, u32 session);
drivers/tee/optee/smc_abi.c
1250
.system_session = optee_system_session,