50 static uint32 initClockCount;
58 void __esos_hw_InitSystemTick(
void) {
64 initClockCount = clock_time();
74 uint32 __esos_hw_GetSystemTickCount(
void) {
75 return (clock_time()-initClockCount);
84 gettimeofday(&tv, &tz);
86 return ((tv.tv_sec * 1000) +(tv.tv_usec / 1000));