cpu_idle_wakeup
if (cpu_idle_wakeup(pc->pc_cpuid))
if (!cpu_idle_wakeup(cpuid))
(atomic_load_int(&tdq->tdq_cpu_idle) == 0 || cpu_idle_wakeup(cpu)))
int cpu_idle_wakeup(int);