timerfd_clock_was_set
void timerfd_clock_was_set(void)
static inline void timerfd_clock_was_set(void) { }