wake_up_idle_cpu 1611 include/linux/sched.h extern void wake_up_idle_cpu(int cpu);
wake_up_idle_cpu  596 kernel/timer.c 	wake_up_idle_cpu(cpu);