idle_thread_set_boot_cpu 6707 kernel/sched/core.c 	idle_thread_set_boot_cpu();
idle_thread_set_boot_cpu    9 kernel/smpboot.h void idle_thread_set_boot_cpu(void);