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);