Searched refs:system_timer (Results 1 – 1 of 1) sorted by relevance
1342 MS_U32 system_timer=0; in MsOS_GetSystemTime() local1343 system_timer=tee_time_get_sys_time(¤t); in MsOS_GetSystemTime()1344 return system_timer; in MsOS_GetSystemTime()