Searched refs:UTEE_TIME_CAT_REE (Results 1 – 3 of 3) sorted by relevance
15 UTEE_TIME_CAT_REE enumerator
698 TEE_Result res = _utee_get_time(UTEE_TIME_CAT_REE, time); in TEE_GetREETime()
988 case UTEE_TIME_CAT_REE: in syscall_get_time()