gettimeofday.h revision 0b5c1233
1