sched_clock_read_retry
} while (sched_clock_read_retry(seq));
extern int sched_clock_read_retry(unsigned int seq);