idle_task_exit   1605 include/linux/sched.h static inline void idle_task_exit(void) {}
idle_task_exit   6234 kernel/sched.c void idle_task_exit(void)