6 #ifdef CONFIG_GENERIC_SMP_IDLE_THREAD
7 struct task_struct
*idle_thread_get(unsigned int cpu
);
8 void idle_thread_set_boot_cpu(void);
9 void idle_threads_init(void);
11 static inline struct task_struct
*idle_thread_get(unsigned int cpu
) { return NULL
; }
12 static inline void idle_thread_set_boot_cpu(void) { }
13 static inline void idle_threads_init(void) { }