void TEE_GetREETime(TEE_Time *time) { TEE_Result res = utee_get_time(UTEE_TIME_CAT_REE, time); if (res != TEE_SUCCESS) TEE_Panic(0); }
void TEE_GetSystemTime(TEE_Time *time) { TEE_Result res = utee_get_time(UTEE_TIME_CAT_SYSTEM, time); if (res != TEE_SUCCESS) TEE_Panic(0); }
TEE_Result TEE_GetTAPersistentTime(TEE_Time *time) { TEE_Result res; res = utee_get_time(UTEE_TIME_CAT_TA_PERSISTENT, time); if (res != TEE_SUCCESS && res != TEE_ERROR_OVERFLOW) { time->seconds = 0; time->millis = 0; } if (res != TEE_SUCCESS && res != TEE_ERROR_TIME_NOT_SET && res != TEE_ERROR_TIME_NEEDS_RESET && res != TEE_ERROR_OVERFLOW && res != TEE_ERROR_OUT_OF_MEMORY) TEE_Panic(res); return res; }
TEE_Result TEE_GetTAPersistentTime(TEE_Time *time) { return utee_get_time(UTEE_TIME_CAT_TA_PERSISTENT, time); }