Symbol: sched_clock_local