tick_nohz_idle_exit  128 include/linux/tick.h extern void tick_nohz_idle_exit(void);
tick_nohz_idle_exit  276 kernel/sched/idle.c 	tick_nohz_idle_exit();