101 		l = strlen(ep->value) + 1;  in propget_get_ext_prop()
111 		if (!base64_dec(ep->value, strlen(ep->value), buf, &l) &&  in propget_get_ext_prop()
131 	memcpy(buf, ep->value, l);  in propget_get_ext_prop()
199 				   const char *name, char *value,  in TEE_GetPropertyAsString()  argument
213 	__utee_check_outstring_annotation(value, value_len);  in TEE_GetPropertyAsString()
244 		l = strlcpy(value, (bool_val ? "true" : "false"), *value_len);  in TEE_GetPropertyAsString()
249 		l = snprintf(value, *value_len, "%u", uint32_val);  in TEE_GetPropertyAsString()
253 		l = snprintk(value, *value_len, "%pUl", tmp_buf);  in TEE_GetPropertyAsString()
258 		l = snprintk(value, *value_len, "%u:%pUl",  in TEE_GetPropertyAsString()
264 		l = strlcpy(value, tmp_buf, *value_len);  in TEE_GetPropertyAsString()
269 		if (!base64_enc(tmp_buf, tmp_len, value, &l) &&  in TEE_GetPropertyAsString()
315 				 const char *name, bool *value)  in TEE_GetPropertyAsBool()  argument
323 	__utee_check_out_annotation(value, sizeof(*value));  in TEE_GetPropertyAsBool()
327 				   value, &bool_len);  in TEE_GetPropertyAsBool()
343 				const char *name, uint32_t *value)  in TEE_GetPropertyAsU32()  argument
351 	__utee_check_out_annotation(value, sizeof(*value));  in TEE_GetPropertyAsU32()
355 				   value, &uint32_len);  in TEE_GetPropertyAsU32()
368 				const char *name, uint64_t *value)  in TEE_GetPropertyAsU64()  argument
372 	uint32_t uint64_len = sizeof(*value);  in TEE_GetPropertyAsU64()
376 	__utee_check_out_annotation(value, sizeof(*value));  in TEE_GetPropertyAsU64()
380 				   value, &uint64_len);  in TEE_GetPropertyAsU64()
394 				    const char *name, void *value,  in __GP11_TEE_GetPropertyAsBinaryBlock()  argument
402 	__utee_check_gp11_outbuf_annotation(value, value_len);  in __GP11_TEE_GetPropertyAsBinaryBlock()
406 				   value, value_len);  in __GP11_TEE_GetPropertyAsBinaryBlock()
420 					const char *name, void *value,  in TEE_GetPropertyAsBinaryBlock()  argument
426 	__utee_check_outbuf_annotation(value, value_len);  in TEE_GetPropertyAsBinaryBlock()
429 						  value, &l);  in TEE_GetPropertyAsBinaryBlock()
435 				 const char *name, TEE_UUID *value)  in TEE_GetPropertyAsUUID()  argument
443 	__utee_check_out_annotation(value, sizeof(*value));  in TEE_GetPropertyAsUUID()
447 				   value, &uuid_len);  in TEE_GetPropertyAsUUID()
460 				     const char *name, TEE_Identity *value)  in TEE_GetPropertyAsIdentity()  argument
468 	__utee_check_out_annotation(value, sizeof(*value));  in TEE_GetPropertyAsIdentity()
472 				   value, &identity_len);  in TEE_GetPropertyAsIdentity()