Symbol: idle_thread_set_boot_cpu
kernel/sched/core.c
8786
idle_thread_set_boot_cpu();
kernel/smpboot.h
9
void idle_thread_set_boot_cpu(void);