/*
 * src/property.h
 *
 * Copyright (C) 2013, Samsung Electronics Co., Ltd.
 *
 * Properties' support
 */

#ifndef __PROPERTY_H__
#define __PROPERTY_H__

#include "tee_internal_api.h"
#include "bsd_list.h"
#include "ta_prop_info.h"
 
/* Property definitions */

typedef  uint32_t       session_id_t;

struct __TEE_PropSetHandle {
    struct prop_entry *prop;
};

extern TEE_Result set_ident_prop(uint32_t login,
				const TEE_UUID *uuid,
				char *acc_group_name);

extern TEE_Result set_ident_prop_caid(void *caid);

extern TEE_Result set_client_ta_fips_enabled(bool fips_enabled);

extern TEE_Result property_set_client_session_id(const session_id_t *session_id);

struct __TEE_PropSetHandle property_create_client_root(void);
void property_destroy_client_root(void);
void property_set_client_root(struct __TEE_PropSetHandle *root);

#endif /* !__PROPERTY_H__ */