11 #include <sys/time.h>
246 #include <time.h>
282     time_t time;  in libc_system_time_init()  local
286     time = 0;  in libc_system_time_init()
291         rt_device_control(device, RT_DEVICE_CTRL_RTC_GET_TIME, &time);  in libc_system_time_init()
298     _timevalue.tv_sec = time - tick/RT_TICK_PER_SECOND - 1;  in libc_system_time_init()
302 int libc_get_time(struct timespec *time)  in libc_get_time()  argument
307     RT_ASSERT(time != RT_NULL);  in libc_get_time()
309     /* initialize system time */  in libc_get_time()
319     time->tv_sec = _timevalue.tv_sec + tick / RT_TICK_PER_SECOND;  in libc_get_time()
320 …  time->tv_nsec = (_timevalue.tv_usec + (tick % RT_TICK_PER_SECOND) * MICROSECOND_PER_TICK) * 1000;  in libc_get_time()