Re: Sched_clock() usage