Searched refs:ree_time (Results 1 – 1 of 1) sorted by relevance
175 TEE_Time ree_time = { }; in get_system_time() local188 ret = tee_time_get_ree_time(&ree_time); in get_system_time()192 p[0].value.a = ree_time.seconds; in get_system_time()193 p[0].value.b = ree_time.millis; in get_system_time()