stm32_bsec_ta_close_session
stm32_bsec_ta_close_session(tee_ctx, session_id);
stm32_bsec_ta_close_session(ctx, session_id);