1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /* 3 * Copyright (c) 2016, Linaro Limited 4 */ 5 6 #ifndef __TEE_UUID 7 #define __TEE_UUID 8 9 #include <optee_msg.h> 10 #include <tee_api_types.h> 11 #include <types_ext.h> 12 13 /** 14 * tee_uuid_to_octets() - serialize a TEE_UUID into an octet string 15 * @dst: pointer to octet string 16 * @src: pointer TEE_UUID 17 */ 18 void tee_uuid_to_octets(uint8_t *dst, const TEE_UUID *src); 19 20 /** 21 * tee_uuid_from_octets() - de-serialize an octet string into a TEE_UUID 22 * @dst: pointer TEE_UUID 23 * @src: pointer to octet string 24 */ 25 void tee_uuid_from_octets(TEE_UUID *dst, const uint8_t *src); 26 27 #endif /*__TEE_UUID*/ 28