timerfd_gettime and timerfd_gettime