Symbol: sched_tick
include/linux/sched.h
328
extern void sched_tick(void);
kernel/time/timer.c
2479
sched_tick();