idle_thread_set_boot_cpu   40 kernel/smpboot.c void __init idle_thread_set_boot_cpu(void)
idle_thread_set_boot_cpu   13 kernel/smpboot.h static inline void idle_thread_set_boot_cpu(void) { }