gettimeofday.h revision dac0da42
1