tick_nohz_full_kick_cpu  263 include/linux/tick.h extern void tick_nohz_full_kick_cpu(int cpu);
tick_nohz_full_kick_cpu  616 kernel/sched/core.c 			tick_nohz_full_kick_cpu(cpu);
tick_nohz_full_kick_cpu  278 kernel/time/tick-sched.c 		tick_nohz_full_kick_cpu(cpu);
tick_nohz_full_kick_cpu  326 kernel/time/tick-sched.c 				tick_nohz_full_kick_cpu(cpu);