sched_tick_stop  3724 kernel/sched/core.c static void sched_tick_stop(int cpu)
sched_tick_stop  3751 kernel/sched/core.c static inline void sched_tick_stop(int cpu) { }