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