just call TEE_GetSystemTime(time);

no need to duplicate the functionality