scheduler_tick    289 include/linux/sched.h extern void scheduler_tick(void);
scheduler_tick    981 kernel/timer.c 	scheduler_tick();