tick_nohz_stop_idle  116 include/linux/tick.h extern void tick_nohz_stop_idle(int cpu);
tick_nohz_stop_idle  260 kernel/softirq.c 		tick_nohz_stop_idle(cpu);
tick_nohz_stop_idle  393 kernel/time/tick-sched.c 	tick_nohz_stop_idle(cpu);