1*1bb92983SJerome Forissier /* SPDX-License-Identifier: BSD-2-Clause */ 29a8a19cdSJens Wiklander /* 39a8a19cdSJens Wiklander * Copyright (c) 2016, Linaro Limited 49a8a19cdSJens Wiklander */ 59a8a19cdSJens Wiklander 69a8a19cdSJens Wiklander #ifndef __TEE_UUID 79a8a19cdSJens Wiklander #define __TEE_UUID 89a8a19cdSJens Wiklander 99a8a19cdSJens Wiklander #include <tee_api_types.h> 109a8a19cdSJens Wiklander #include <types_ext.h> 119a8a19cdSJens Wiklander 129a8a19cdSJens Wiklander /** 139a8a19cdSJens Wiklander * tee_uuid_to_octets() - serialize a TEE_UUID into an octet string 149a8a19cdSJens Wiklander * @dst: pointer to octet string 159a8a19cdSJens Wiklander * @src: pointer TEE_UUID 169a8a19cdSJens Wiklander */ 179a8a19cdSJens Wiklander void tee_uuid_to_octets(uint8_t *dst, const TEE_UUID *src); 189a8a19cdSJens Wiklander 199a8a19cdSJens Wiklander /** 209a8a19cdSJens Wiklander * tee_uuid_from_octets() - de-serialize an octet string into a TEE_UUID 219a8a19cdSJens Wiklander * @dst: pointer TEE_UUID 229a8a19cdSJens Wiklander * @src: pointer to octet string 239a8a19cdSJens Wiklander */ 249a8a19cdSJens Wiklander void tee_uuid_from_octets(TEE_UUID *dst, const uint8_t *src); 259a8a19cdSJens Wiklander 269a8a19cdSJens Wiklander #endif /*__TEE_UUID*/ 27