update_sched_clock  161 kernel/time/sched_clock.c 	update_sched_clock();
update_sched_clock  249 kernel/time/sched_clock.c 	update_sched_clock();
update_sched_clock  282 kernel/time/sched_clock.c 	update_sched_clock();