wake_up_idle_cpu 1613 include/linux/sched.h static inline void wake_up_idle_cpu(int cpu) { } wake_up_idle_cpu 1199 kernel/sched.c void wake_up_idle_cpu(int cpu)