1 /* SPDX-License-Identifier: BSD-3-Clause
2 * Copyright(c) 2019-2020 Broadcom
7 tf_session_get_session(struct tf *tfp,
8 struct tf_session *tfs)
10 if (tfp->session == NULL || tfp->session->core_data == NULL) {
11 TFP_DRV_LOG(ERR, "Session not created\n");
15 tfs = (struct tf_session *)(tfp->session->core_data);
21 tf_session_get_device(struct tf_session *tfs,
22 struct tf_device *tfd)
24 if (tfs->dev == NULL) {
25 TFP_DRV_LOG(ERR, "Device not created\n");