gettimeofday.h revision 3e2d9453
1