idle_task_exit   1402 arch/x86/kernel/smpboot.c 	idle_task_exit();
idle_task_exit   1603 include/linux/sched.h extern void idle_task_exit(void);