sched_clock_tick 1578 include/linux/sched.h extern void sched_clock_tick(void);
sched_clock_tick 4268 kernel/sched.c 	sched_clock_tick();
sched_clock_tick  230 kernel/sched_clock.c 	sched_clock_tick();