/*
* Copyright (C) 2016, Samsung Electronics Co., Ltd.
*
* UUID management helpers
*/

#ifndef _TZSL_UUID_H_
#define _TZSL_UUID_H_

#include <tee_internal_api.h>
TEE_Result create_device_uuid(TEE_UUID *uuid);
TEE_Result device_id_uuid_init(char * value, int size);

typedef struct {
    uint32_t timeLow;
    uint16_t timeMid;
    uint16_t timeHiAndVersion;
    uint8_t clockSeqAndNode[8];
} __attribute__((packed)) uuid_t;

#endif /* _TZSL_UUID_H_ */