sched_clock: delay using sched_clock()