Searched refs:TEE_Time (Results 1 – 1 of 1) sorted by relevance
289 } TEE_Time; typedef292 extern TEE_Result tee_time_get_sys_time(TEE_Time *time);1341 TEE_Time current; in MsOS_GetSystemTime()