sched_tick_start 3703 kernel/sched/core.c static void sched_tick_start(int cpu)
sched_tick_start 3750 kernel/sched/core.c static inline void sched_tick_start(int cpu) { }