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 <tee_api_types.h>
10 #include <types_ext.h>
11 
12 /**
13  * tee_uuid_to_octets() - serialize a TEE_UUID into an octet string
14  * @dst: pointer to octet string
15  * @src: pointer TEE_UUID
16  */
17 void tee_uuid_to_octets(uint8_t *dst, const TEE_UUID *src);
18 
19 /**
20  * tee_uuid_from_octets() - de-serialize an octet string into a TEE_UUID
21  * @dst: pointer TEE_UUID
22  * @src: pointer to octet string
23  */
24 void tee_uuid_from_octets(TEE_UUID *dst, const uint8_t *src);
25 
26 #endif /*__TEE_UUID*/
27