gettimeofday.h revision 42874e4e
1