clock_gettime() and gettimeofday()