tick_nohz_full_kick  322 kernel/time/tick-sched.c 			tick_nohz_full_kick();
tick_nohz_full_kick  391 kernel/time/tick-sched.c 			tick_nohz_full_kick();