1183 			    size_t srcLen, void *destData, size_t *destLen)  in TEE_CipherUpdate()  argument
1193 	__utee_check_inout_annotation(destLen, sizeof(*destLen));  in TEE_CipherUpdate()
1211 		*destLen = 0;  in TEE_CipherUpdate()
1238 	if (*destLen < req_dlen) {  in TEE_CipherUpdate()
1239 		*destLen = req_dlen;  in TEE_CipherUpdate()
1244 	dl = *destLen;  in TEE_CipherUpdate()
1257 	*destLen = dl;  in TEE_CipherUpdate()
1269 				   void *destData, uint32_t *destLen)  in __GP11_TEE_CipherUpdate()  argument
1274 	__utee_check_inout_annotation(destLen, sizeof(*destLen));  in __GP11_TEE_CipherUpdate()
1275 	dl = *destLen;  in __GP11_TEE_CipherUpdate()
1277 	*destLen = dl;  in __GP11_TEE_CipherUpdate()
1283 			     void *destData, size_t *destLen)  in TEE_CipherDoFinal()  argument
1295 	if (destLen)  in TEE_CipherDoFinal()
1296 		__utee_check_inout_annotation(destLen, sizeof(*destLen));  in TEE_CipherDoFinal()
1342 	if (destLen)  in TEE_CipherDoFinal()
1343 		tmp_dlen = *destLen;  in TEE_CipherDoFinal()
1345 		if (destLen)  in TEE_CipherDoFinal()
1346 			*destLen = req_dlen;  in TEE_CipherDoFinal()
1362 			tmp_dlen = *destLen - acc_dlen;  in TEE_CipherDoFinal()
1375 	if (destLen)  in TEE_CipherDoFinal()
1376 		*destLen = acc_dlen;  in TEE_CipherDoFinal()
1392 				    void *destData, uint32_t *destLen)  in __GP11_TEE_CipherDoFinal()  argument
1397 	if (destLen) {  in __GP11_TEE_CipherDoFinal()
1398 		__utee_check_inout_annotation(destLen, sizeof(*destLen));  in __GP11_TEE_CipherDoFinal()
1399 		dl = *destLen;  in __GP11_TEE_CipherDoFinal()
1402 	if (destLen)  in __GP11_TEE_CipherDoFinal()
1403 		*destLen = dl;  in __GP11_TEE_CipherDoFinal()
1738 			size_t srcLen, void *destData, size_t *destLen)  in TEE_AEUpdate()  argument
1746 	__utee_check_outbuf_annotation(destData, destLen);  in TEE_AEUpdate()
1758 	res = ae_update_helper(operation, srcData, srcLen, destData, destLen);  in TEE_AEUpdate()
1772 			       void *destData, uint32_t *destLen)  in __GP11_TEE_AEUpdate()  argument
1781 	__utee_check_gp11_outbuf_annotation(destData, destLen);  in __GP11_TEE_AEUpdate()
1793 	dl = *destLen;  in __GP11_TEE_AEUpdate()
1795 	*destLen = dl;  in __GP11_TEE_AEUpdate()
1812 			      void *destData, size_t *destLen, void *tag,  in TEE_AEEncryptFinal()  argument
1826 	__utee_check_inout_annotation(destLen, sizeof(*destLen));  in TEE_AEEncryptFinal()
1850 	if (*destLen < req_dlen) {  in TEE_AEEncryptFinal()
1851 		*destLen = req_dlen;  in TEE_AEEncryptFinal()
1864 	tmp_dlen = *destLen - acc_dlen;  in TEE_AEEncryptFinal()
1874 		tmp_dlen = *destLen - acc_dlen;  in TEE_AEEncryptFinal()
1889 	*destLen = acc_dlen;  in TEE_AEEncryptFinal()
1905 				     void *destData, uint32_t *destLen,  in __GP11_TEE_AEEncryptFinal()  argument
1912 	__utee_check_inout_annotation(destLen, sizeof(*destLen));  in __GP11_TEE_AEEncryptFinal()
1914 	dl = *destLen;  in __GP11_TEE_AEEncryptFinal()
1918 	*destLen = dl;  in __GP11_TEE_AEEncryptFinal()
1925 			      void *destData, size_t *destLen, void *tag,  in TEE_AEDecryptFinal()  argument
1938 	__utee_check_inout_annotation(destLen, sizeof(*destLen));  in TEE_AEDecryptFinal()
1956 	if (*destLen < req_dlen) {  in TEE_AEDecryptFinal()
1957 		*destLen = req_dlen;  in TEE_AEDecryptFinal()
1962 	tmp_dlen = *destLen - acc_dlen;  in TEE_AEDecryptFinal()
1972 		tmp_dlen = *destLen - acc_dlen;  in TEE_AEDecryptFinal()
1990 	*destLen = acc_dlen;  in TEE_AEDecryptFinal()
2007 				     void *destData, uint32_t *destLen,  in __GP11_TEE_AEDecryptFinal()  argument
2013 	__utee_check_inout_annotation(destLen, sizeof(*destLen));  in __GP11_TEE_AEDecryptFinal()
2014 	dl = *destLen;  in __GP11_TEE_AEDecryptFinal()
2017 	*destLen = dl;  in __GP11_TEE_AEDecryptFinal()
2027 				 size_t *destLen)  in TEE_AsymmetricEncrypt()  argument
2037 	__utee_check_inout_annotation(destLen, sizeof(*destLen));  in TEE_AsymmetricEncrypt()
2047 	dl = *destLen;  in TEE_AsymmetricEncrypt()
2050 	*destLen = dl;  in TEE_AsymmetricEncrypt()
2066 					void *destData, uint32_t *destLen)  in __GP11_TEE_AsymmetricEncrypt()  argument
2076 	__utee_check_inout_annotation(destLen, sizeof(*destLen));  in __GP11_TEE_AsymmetricEncrypt()
2086 	dl = *destLen;  in __GP11_TEE_AsymmetricEncrypt()
2089 	*destLen = dl;  in __GP11_TEE_AsymmetricEncrypt()
2103 				 size_t *destLen)  in TEE_AsymmetricDecrypt()  argument
2113 	__utee_check_inout_annotation(destLen, sizeof(*destLen));  in TEE_AsymmetricDecrypt()
2123 	dl = *destLen;  in TEE_AsymmetricDecrypt()
2126 	*destLen = dl;  in TEE_AsymmetricDecrypt()
2142 					void *destData, uint32_t *destLen)  in __GP11_TEE_AsymmetricDecrypt()  argument
2152 	__utee_check_inout_annotation(destLen, sizeof(*destLen));  in __GP11_TEE_AsymmetricDecrypt()
2162 	dl = *destLen;  in __GP11_TEE_AsymmetricDecrypt()
2165 	*destLen = dl;  in __GP11_TEE_AsymmetricDecrypt()