1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2014, STMicroelectronics International N.V.
4  */
5 
6 #ifndef TEE_TIME_H
7 #define TEE_TIME_H
8 
9 #include "tee_api_types.h"
10 
11 TEE_Result tee_time_get_sys_time(TEE_Time *time);
12 uint32_t tee_time_get_sys_time_protection_level(void);
13 TEE_Result tee_time_get_ta_time(const TEE_UUID *uuid, TEE_Time *time);
14 TEE_Result tee_time_get_ree_time(TEE_Time *time);
15 TEE_Result tee_time_set_ta_time(const TEE_UUID *uuid, const TEE_Time *time);
16 /* Releases CPU through OP-TEE RPC which switches to Normal World */
17 void tee_time_wait(uint32_t milliseconds_delay);
18 /* Busy wait */
19 void tee_time_busy_wait(uint32_t milliseconds_delay);
20 
21 #endif
22