timer_gettime() and timer_settime()