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