325 			TEEC_Session *session,  in TEEC_OpenSession()  argument
335 	debug("TEEC_OpenSession: session=0x%X, ...\n", session->id);  in TEEC_OpenSession()
337 	if ((context == NULL) || (session == NULL) || (destination == NULL)) {  in TEEC_OpenSession()
357 	TeecResult = TEEC_SMC_OpenSession(context, session, destination,  in TEEC_OpenSession()
373 void TEEC_CloseSession(TEEC_Session *session)  in TEEC_CloseSession()  argument
378 	debug("TEEC_CloseSession Enter: session=0x%X\n", session->id);  in TEEC_CloseSession()
380 	if (session == NULL)  in TEEC_CloseSession()
383 	TeecResult = TEEC_SMC_CloseSession(session, &TeecErrorOrigin);  in TEEC_CloseSession()
394 TEEC_Result TEEC_InvokeCommand(TEEC_Session *session,  in TEEC_InvokeCommand()  argument
403 			session->id, cmd_id);  in TEEC_InvokeCommand()
405 	if (session == NULL) {  in TEEC_InvokeCommand()
418 	TeecResult = TEEC_SMC_InvokeCommand(session, cmd_id,  in TEEC_InvokeCommand()