Symbol: cpu_idle_wakeup
sys/kern/sched_4bsd.c
1232
if (cpu_idle_wakeup(pc->pc_cpuid))
sys/kern/sched_4bsd.c
1253
if (!cpu_idle_wakeup(cpuid))
sys/kern/sched_ule.c
1217
(atomic_load_int(&tdq->tdq_cpu_idle) == 0 || cpu_idle_wakeup(cpu)))
sys/sys/proc.h
1223
int cpu_idle_wakeup(int);