Searched refs:sys_t (Results 1 – 1 of 1) sorted by relevance
554 TEE_Time sys_t = { }; in test_time() local558 TEE_GetSystemTime(&sys_t); in test_time()559 printf("system time %u.%03u\n", (unsigned int)sys_t.seconds, in test_time()560 (unsigned int)sys_t.millis); in test_time()628 if (t.seconds > sys_t.seconds) { in test_time()631 (unsigned int)sys_t.seconds, (unsigned int)sys_t.millis); in test_time()