| /* SPDX-License-Identifier: BSD-2-Clause */ |
| /* |
| * Copyright (c) 2014, STMicroelectronics International N.V. |
| */ |
| |
| #ifndef TEE_TIME_H |
| #define TEE_TIME_H |
| |
| #include "tee_api_types.h" |
| |
| #define TEE_TIME_BOOT_TICKS_HZ 10UL |
| |
| TEE_Result tee_time_get_sys_time(TEE_Time *time); |
| uint32_t tee_time_get_sys_time_protection_level(void); |
| TEE_Result tee_time_get_ta_time(const TEE_UUID *uuid, TEE_Time *time); |
| TEE_Result tee_time_get_ree_time(TEE_Time *time); |
| TEE_Result tee_time_set_ta_time(const TEE_UUID *uuid, const TEE_Time *time); |
| /* Releases CPU through OP-TEE RPC which switches to Normal World */ |
| void tee_time_wait(uint32_t milliseconds_delay); |
| /* Busy wait */ |
| void tee_time_busy_wait(uint32_t milliseconds_delay); |
| |
| #endif |