[求助] 关于ctime函数..
小弟看源码的时候发现在获得当地时间的时候采用下面的方法.   
 time_t   now; 
 (void)   time   (&now); 
 printf( "%s\n ",ctime(&now));   
 我在嵌入式内核找了半天都没有发现ctime函数在哪儿定义的? 
 哪位大虾能给指点一下啊.ctime()是在哪儿定义的?或者它是如何实现的,它有没有对时区进行一些处理,谢谢啦. 
 分不多,还请帮忙.
------解决方案--------------------我上面也说了,它是在glibc中实现的,你可以去下glibc的源码来看   
 上面说错了,gettimeofday是获取当前时间的,和ctime不一样,内核中没有时间格式化的函数
------解决方案--------------------glibc中.头文件找include/time.h