idle_task_exit     22 include/linux/sched/hotplug.h static inline void idle_task_exit(void) {}
idle_task_exit   6175 kernel/sched/core.c void idle_task_exit(void)