__update_sched_clock 165 kernel/sched_clock.c this_clock = __update_sched_clock(my_scd, now); __update_sched_clock 188 kernel/sched_clock.c clock = __update_sched_clock(scd, now); __update_sched_clock 212 kernel/sched_clock.c __update_sched_clock(scd, now);