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