Found by inspection of of the x86_64 gettimeofday.

The problem is that the code always records the maximum value
but it is not reset on the next clock tick.  As written, I see it
keeping the maximum number of microseconds since the last clock tick.