For OSDI, gettimeofday should be processed locally.