/*
 * src/teesl/operations.h
 *
 * Copyright (C) 2013, Samsung Electronics Co., Ltd.
 *
 * Operations support
 */

#ifndef _OPERATIONS_H
#define _OPERATIONS_H

#include <tee_internal_api.h>

#include "bsd_list.h"

struct operation_node {
    TAILQ_ENTRY(operation_node) node;
    TEE_OperationHandle hndl;
};

extern int in_operations_list(TEE_OperationHandle operation);
extern int add_to_operations_list(TEE_OperationHandle operation);
extern void remove_from_operations_list(TEE_OperationHandle operation);

#endif /* _OPERATIONS_H */