Searched refs:tee_time (Results 1 – 2 of 2) sorted by relevance
176 TEE_Time tee_time = { }; in get_system_time() local184 ret = tee_time_get_sys_time(&tee_time); in get_system_time()194 p[1].value.a = tee_time.seconds; in get_system_time()195 p[1].value.b = tee_time.millis; in get_system_time()
26 srcs-y += tee_time.c