Searched refs:tee_time_get_ree_time (Results 1 – 5 of 5) sorted by relevance
14 TEE_Result tee_time_get_ree_time(TEE_Time *time);
17 res = tee_time_get_ree_time(time); in tee_time_get_sys_time()
28 TEE_Result tee_time_get_ree_time(TEE_Time *time) in tee_time_get_ree_time() function
188 ret = tee_time_get_ree_time(&ree_time); in get_system_time()
989 res = tee_time_get_ree_time(&t); in syscall_get_time()