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 #define TEE_TIME_BOOT_TICKS_HZ 10UL 12 13 TEE_Result tee_time_get_sys_time(TEE_Time *time); 14 uint32_t tee_time_get_sys_time_protection_level(void); 15 TEE_Result tee_time_get_ta_time(const TEE_UUID *uuid, TEE_Time *time); 16 TEE_Result tee_time_get_ree_time(TEE_Time *time); 17 TEE_Result tee_time_set_ta_time(const TEE_UUID *uuid, const TEE_Time *time); 18 /* Releases CPU through OP-TEE RPC which switches to Normal World */ 19 void tee_time_wait(uint32_t milliseconds_delay); 20 /* Busy wait */ 21 void tee_time_busy_wait(uint32_t milliseconds_delay); 22 23 #endif 24