sched_tick_start
static void sched_tick_start(int cpu)
static inline void sched_tick_start(int cpu) { }