sched_clock_local 317 kernel/sched/clock.c this_clock = sched_clock_local(my_scd); sched_clock_local 329 kernel/sched/clock.c sched_clock_local(my_scd); sched_clock_local 382 kernel/sched/clock.c clock = sched_clock_local(scd); sched_clock_local 403 kernel/sched/clock.c sched_clock_local(scd);