wake_up_nohz_cpu   27 include/linux/sched/nohz.h extern void wake_up_nohz_cpu(int cpu);
wake_up_nohz_cpu  568 kernel/time/timer.c 			wake_up_nohz_cpu(base->cpu);
wake_up_nohz_cpu  589 kernel/time/timer.c 	wake_up_nohz_cpu(base->cpu);