tee_internal_datatypes.h

Go to the documentation of this file.

/*
 * Copyright (c) 2010 GlobalPlatform Inc. All Rights Reserved.
 * The technology provided or described herein is subject to updates, revisions,
 * and extensions by GlobalPlatform. Use of this information is governed by the
 * GlobalPlatform license agreement and any use inconsistent with that agreement
 * is strictly prohibited
 *
 * Copyright (c) 2018-2020, NVIDIA CORPORATION.  All rights reserved.
 * NVIDIA CORPORATION and its licensors retain all intellectual property
 * and proprietary rights in and to this software, related documentation
 * and any modifications thereto.  Any use, reproduction, disclosure or
 * distribution of this software and related documentation without an express
 * license agreement from NVIDIA CORPORATION is strictly prohibited.
 */
 
#ifndef TEE_INTERNAL_DATATYPES_H
#define TEE_INTERNAL_DATATYPES_H
 
#include <tee_internal/tee_internal_constants.h>
#include <tee_internal/tee_internal_os_abstraction_layer.h>
#include <tee_common/tee_common_os_abstraction_layer.h>
#include <tee_common/tee_common_datatypes.h>
 
typedef struct
{
    /* \brief pointer and size representing a fixed-size memory buffer */
    TEE_MemoryReference memref;
    /* \brief a pair of integer values */
    TEE_Value value;
} TEE_Param;
 
typedef struct
{
    uint32_t seconds;
    uint32_t millis;
} TEE_Time;
 
typedef struct __TEE_PropSetHandle* TEE_PropSetHandle;
#endif /* TEE_INTERNAL_DATATYPES_H */