[PATCH] Consolidate default sched_clock()