923 			     size_t chunkLen, void *hash, size_t *hashLen)  in TEE_DigestDoFinal()  argument
940 	__utee_check_inout_annotation(hashLen, sizeof(*hashLen));  in TEE_DigestDoFinal()
949 			  *hashLen);  in TEE_DigestDoFinal()
951 		*hashLen = len;  in TEE_DigestDoFinal()
953 		hl = *hashLen;  in TEE_DigestDoFinal()
956 		*hashLen = hl;  in TEE_DigestDoFinal()
976 				    void *hash, uint32_t *hashLen)  in __GP11_TEE_DigestDoFinal()  argument
981 	__utee_check_inout_annotation(hashLen, sizeof(*hashLen));  in __GP11_TEE_DigestDoFinal()
982 	l = *hashLen;  in __GP11_TEE_DigestDoFinal()
984 	*hashLen = l;  in __GP11_TEE_DigestDoFinal()
989 			     size_t *hashLen)  in TEE_DigestExtract()  argument
998 	__utee_check_inout_annotation(hashLen, sizeof(*hashLen));  in TEE_DigestExtract()
1004 		hl = *hashLen;  in TEE_DigestExtract()
1008 		*hashLen = hl;  in TEE_DigestExtract()
1026 	len = MIN(operation->block_size - operation->buffer_offs, *hashLen);  in TEE_DigestExtract()
1028 	*hashLen = len;  in TEE_DigestExtract()