321 				TEE_TASessionHandle *session,  in TEE_OpenTASession()  argument
337 	__utee_check_out_annotation(session, sizeof(*session));  in TEE_OpenTASession()
362 	*session = (TEE_TASessionHandle)(uintptr_t)s;  in TEE_OpenTASession()
370 				    TEE_TASessionHandle *session,  in __GP11_TEE_OpenTASession()  argument
384 	__utee_check_out_annotation(session, sizeof(*session));  in __GP11_TEE_OpenTASession()
409 	*session = (TEE_TASessionHandle)(uintptr_t)s;  in __GP11_TEE_OpenTASession()
413 void TEE_CloseTASession(TEE_TASessionHandle session)  in TEE_CloseTASession()  argument
415 	if (session != TEE_HANDLE_NULL) {  in TEE_CloseTASession()
416 		TEE_Result res = _utee_close_ta_session((uintptr_t)session);  in TEE_CloseTASession()
423 TEE_Result TEE_InvokeTACommand(TEE_TASessionHandle session,  in TEE_InvokeTACommand()  argument
450 	res = _utee_invoke_ta_command((uintptr_t)session,  in TEE_InvokeTACommand()
476 TEE_Result __GP11_TEE_InvokeTACommand(TEE_TASessionHandle session,  in __GP11_TEE_InvokeTACommand()  argument
501 	res = _utee_invoke_ta_command((uintptr_t)session,  in __GP11_TEE_InvokeTACommand()