439 void TEE_InitRefAttribute(TEE_Attribute *attr, uint32_t attributeID,  in TEE_InitRefAttribute()  argument
442 	__utee_check_out_annotation(attr, sizeof(*attr));  in TEE_InitRefAttribute()
446 	attr->attributeID = attributeID;  in TEE_InitRefAttribute()
447 	attr->content.ref.buffer = (void *)buffer;  in TEE_InitRefAttribute()
448 	attr->content.ref.length = length;  in TEE_InitRefAttribute()
451 void __GP11_TEE_InitRefAttribute(__GP11_TEE_Attribute *attr,  in __GP11_TEE_InitRefAttribute()  argument
455 	__utee_check_out_annotation(attr, sizeof(*attr));  in __GP11_TEE_InitRefAttribute()
459 	attr->attributeID = attributeID;  in __GP11_TEE_InitRefAttribute()
460 	attr->content.ref.buffer = (void *)buffer;  in __GP11_TEE_InitRefAttribute()
461 	attr->content.ref.length = length;  in __GP11_TEE_InitRefAttribute()
464 void TEE_InitValueAttribute(TEE_Attribute *attr, uint32_t attributeID,  in TEE_InitValueAttribute()  argument
467 	__utee_check_out_annotation(attr, sizeof(*attr));  in TEE_InitValueAttribute()
471 	attr->attributeID = attributeID;  in TEE_InitValueAttribute()
472 	attr->content.value.a = a;  in TEE_InitValueAttribute()
473 	attr->content.value.b = b;  in TEE_InitValueAttribute()
476 void __GP11_TEE_InitValueAttribute(__GP11_TEE_Attribute *attr,  in __GP11_TEE_InitValueAttribute()  argument
480 	__utee_check_out_annotation(attr, sizeof(*attr));  in __GP11_TEE_InitValueAttribute()
484 	attr->attributeID = attributeID;  in __GP11_TEE_InitValueAttribute()
485 	attr->content.value.a = a;  in __GP11_TEE_InitValueAttribute()
486 	attr->content.value.b = b;  in __GP11_TEE_InitValueAttribute()