tick_nohz_idle_restart_tick  126 include/linux/tick.h extern void tick_nohz_idle_restart_tick(void);
tick_nohz_idle_restart_tick  260 kernel/sched/idle.c 			tick_nohz_idle_restart_tick();