idle_thread_set_boot_cpu
void __init idle_thread_set_boot_cpu(void)
static inline void idle_thread_set_boot_cpu(void) { }